1284 search results - page 15 / 257 » On Helping and Interactive Proof Systems |
ENTCS
2000
13 years 7 months ago
2000
The NuPRL system [3] was designed for interactive writing of machine
CIA
2006
Springer
13 years 11 months ago
2006
Springer
Imagine a future environment where networks of agents - people, robots and software agents - interact with sophisticated sensor grids and environmental actuators to provide advice,...
IUI
2003
ACM
14 years 22 days ago
2003
ACM
How do we know if we can afford a particular purchase? We can find out what the payments might be and check our balances on various accounts, but does this answer the question? Wh...
STOC
2006
ACM
14 years 7 months ago
2006
ACM
It is proved that several interactive proof systems are zero-knowledge against general quantum attacks. This includes the Goldreich?Micali?Wigderson classical zero-knowledge proto...
24
Voted
LPAR
2001
Springer
13 years 12 months ago
2001
Springer
The EPGY Theorem-Proving Environment is designed to help students write ordinary mathematical proofs. The system, used in a selection of computer-based proof-intensive mathematics ...