106 search results - page 17 / 22 » Probabilistically Checkable Arguments |
CHI
2004
ACM
14 years 9 months ago
2004
ACM
Most information retrieval (IR) interfaces are designed for a single user working with a dedicated interface. We present a system in which the IR interface has been fully integrat...
PKC
1998
Springer
14 years 23 days ago
1998
Springer
The ElGamal encryption scheme has been proposed several years ago and is one of the few probabilistic encryption schemes. However, its security has never been concretely proven bas...
LREC
2010
13 years 10 months ago
2010
Previous work has shown that large scale subcategorisation lexicons could be extracted from parsed corpora with reasonably high precision. In this paper, we apply a standard extra...
NIPS
2001
13 years 10 months ago
2001
In this paper, it is shown how to extract a hypothesis with small risk from the ensemble of hypotheses generated by an arbitrary on-line learning algorithm run on an independent an...
AAAI
1998
13 years 10 months ago
1998
In many important text classification problems, acquiring class labels for training documents is costly, while gathering large quantities of unlabeled data is cheap. This paper sh...