3907 search results - page 328 / 782 » Time, Knowledge, and Choice |
222
Voted
IMA
2005
Springer
16 years 8 days ago
2005
Springer
In recent years cryptographic protocols based on the Weil and Tate pairings on elliptic curves have attracted much attention. A notable success in this area was the elegant solutio...
158
click to vote
VMCAI
2005
Springer
16 years 8 days ago
2005
Springer
A Herbrand equality between expressions in a program is an equality which holds relative to the Herbrand interpretation of operators. We show that the problem of checking validity ...
163
click to vote
AIRS
2004
Springer
16 years 5 days ago
2004
Springer
There exist practical bit-parallel algorithms for several types of pair-wise string processing, such as longest common subsequence computation or approximate string matching. The b...
192
click to vote
IPTPS
2004
Springer
16 years 4 days ago
2004
Springer
In P2P systems, users often have many choices of peers from whom to download their data. Each user cares primarily about its own response time, which depends on how many other use...
190
click to vote
ISER
2004
Springer
16 years 4 days ago
2004
Springer
We present a series of experiments concerned with the inspection of regular, engineered structures carried out using swarms of five to twenty autonomous, miniature robots, solely ...