5138 search results - page 582 / 1028 » Low-Entropy Set Selection. |
156
click to vote
CLEF
2004
Springer
15 years 10 months ago
2004
Springer
The main goal of the bilingual and monolingual participation of the MIRACLE team at CLEF 2004 was testing the effect of combination approaches to information retrieval. The starti...
177
click to vote
ATAL
2006
Springer
15 years 10 months ago
2006
Springer
We study information elicitation mechanisms in which a principal agent attempts to elicit the private information of other agents using a carefully selected payment scheme based o...
177
click to vote
CARDIS
2006
Springer
15 years 10 months ago
2006
Springer
In this paper we propose three smartcard-based variants of anonymous authentication using unique one-time pseudonyms. The first variant can be used to authenticate a user. However,...
161
Voted
CAV
2006
Springer
15 years 10 months ago
2006
Springer
Fast is a tool designed for the analysis of counter systems, i.e. automata extended with unbounded integer variables. Despite the reachability set is not recursive in general, Fast...
209
click to vote
CSCWD
2006
Springer
15 years 10 months ago
2006
Springer
The application designers can usually define their own "virtual environments" by selecting the appropriate computing resources required, or reuse and compose existing en...