1284 search results - page 14 / 257 » On Helping and Interactive Proof Systems |
115
click to vote
COCO
1994
Springer
15 years 8 months ago
1994
Springer
We study competing-prover one-round interactive proof systems. We show that one-round proof systems in which the rst prover is trying to convince a veri er to accept and the secon...
155
click to vote
HCI
2011
14 years 7 months ago
2011
We introduce a mobile device application that displays key information about caffeine: the pharmacokinetics (time course of drug levels) and pharmacodynamics (the effects of caffei...
161
click to vote
SYNASC
2008
IEEE
15 years 10 months ago
2008
IEEE
Abstract. A new approach to the design of massively parallel and interactive programming languages has been recently proposed using rv-systems (interactive systems with registers a...
126
click to vote
COCO
2007
Springer
15 years 10 months ago
2007
Springer
We consider a class of two-prover interactive proof systems where each prover returns a single bit to the verifier and the verifier’s verdict is a function of the XOR of the tw...
123
click to vote
IEAAIE
2005
Springer
15 years 9 months ago
2005
Springer
This paper describes a semi-autonomous wheelchair enabled with “HelpStar” that provides a user who is visually impaired with mobility independence. Our “HelpStar” enabled s...