1411 search results - page 177 / 283 » Interactive Coding for Interactive Proofs |
TSD
2005
Springer
15 years 3 months ago
2005
Springer
As language is fundamental to human activities, proficiency in other languages becomes important. Besides for developing abilities for communication, the knowledge is also a tool f...
IUI
2003
ACM
15 years 3 months ago
2003
ACM
Computational humor will be needed in interfaces, no less than other cognitive capabilities. There are many practical settings where computational humor will add value. Among them...
KBSE
1998
IEEE
15 years 2 months ago
1998
IEEE
Specification-based retrieval provides exact contentoriented access to component libraries but requires too much deductive power. Specification-based browsing evades this bottlene...
106
click to vote
EUROCRYPT
1998
Springer
15 years 2 months ago
1998
Springer
Abstract. First, we introduce the notion of divertibility as a protocol property as opposed to the existing notion as a language property (see Okamoto, Ohta [OO90]). We give a defi...
COCO
1997
Springer
15 years 2 months ago
1997
Springer
In this paper we design a nonadaptive NC checker for permutation group intersection, sharpening a result from Blum and Kannan 3]. This is a consequence of two results. First we sh...