5084 search results - page 661 / 1017 » Proving Possibility Properties |
174
click to vote
CLEF
2007
Springer
16 years 29 days ago
2007
Springer
The fifth QA campaign at CLEF, the first having been held in 2006. was characterized by continuity with the past and at the same time by innovation. In fact, topics were introduce...
185
click to vote
COCOON
2007
Springer
16 years 29 days ago
2007
Springer
The last decade witnessed the extensive studies of algorithms for data streams. In this model, the input is given as a sequence of items passing only once or a few times, and we ar...
166
click to vote
CRYPTO
2007
Springer
16 years 29 days ago
2007
Springer
Abstract. This paper introduces simulatable verifiable random functions (sVRF). VRFs are similar to pseudorandom functions, except that they are also verifiable: corresponding to...
182
click to vote
CRYPTO
2007
Springer
16 years 29 days ago
2007
Springer
Abstract. Secure multiparty computation allows a group of distrusting parties to jointly compute a (possibly randomized) function of their inputs. However, it is often the case tha...
194
click to vote
ECML
2007
Springer
16 years 29 days ago
2007
Springer
The availability of techniques for comparing descriptions has many applications in Artificial Intelligence, ranging from description selection to flexible matching, from instance...