608 search results - page 78 / 122 » Interactive Oracle Proofs |
ICDE
1999
IEEE
14 years 11 months ago
1999
IEEE
Most operations of the relational algebra or SQL require a sorted stream of tuples for efficient processing. Therefore, processing complex relational queries relies on efficient a...
SEMCO
2009
IEEE
14 years 4 months ago
2009
IEEE
Abstract—Systems designed for the automatic summarization of meetings have considered the propositional content of contributions by each speaker, but not the explicit techniques ...
ACISP
2005
Springer
14 years 3 months ago
2005
Springer
A blind signature scheme is a protocol for obtaining a digital signature from a signer, but the signer can neither learn the messages he/she sign nor the signatures the recipients ...
EUROCRYPT
2004
Springer
14 years 3 months ago
2004
Springer
We introduce the concept of concurrent signatures. These allow two entities to produce two signatures in such a way that, from the point of view of any third party, both signatures...
ICDM
2010
IEEE
13 years 8 months ago
2010
IEEE
Active learning has been proven a reliable strategy to reduce manual efforts in training data labeling. Such strategies incorporate the user as oracle: the classifier selects the m...