4099 search results - page 177 / 820 » A Framework for Interactive Proof |
118
click to vote
APGV
2005
ACM
15 years 11 months ago
2005
ACM
In this paper, we describe a framework for comparing task performance in real and virtual environments. Realistic graphics, rear projection, haptics and rapid prototyping are used...
152
click to vote
WOSS
2004
ACM
15 years 11 months ago
2004
ACM
This paper describes an online control framework to design self-managing distributed computing systems that continually optimize their performance in response to changing computin...
171
click to vote
WOLLIC
2009
Springer
16 years 1 days ago
2009
Springer
Bi-intuitionistic logic is the extension of intuitionistic logic with exclusion, a connective dual to implication. Cut-elimination in biintuitionistic logic is complicated due to t...
156
click to vote
CRYPTO
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. Non-interactive zero-knowledge (NIZK) proofs have been investigated in two models: the Public Parameter model and the Secret Parameter model. In the former, a public stri...
141
click to vote
COCO
2004
Springer
15 years 11 months ago
2004
Springer
This paper studies quantum Arthur–Merlin games, which are Arthur–Merlin games in which Arthur and Merlin can perform quantum computations and Merlin can send Arthur quantum in...