1284 search results - page 3 / 257 » On Helping and Interactive Proof Systems |
INTERACT
2003
13 years 8 months ago
2003
: Research with older adults indicates that despite considerable demand for help and support, the existing facilities built into computers are rarely used. Using evidence from our ...
LPAR
2005
Springer
14 years 29 days ago
2005
Springer
Abstract. We describe an environment that allows the users of the Theorema system to flexibly control aspects of computer-supported proof development. The environment supports the...
LOPSTR
1995
Springer
13 years 11 months ago
1995
Springer
We present an automated proof method for constructive logic based on Wallen’s matrix characterization for intuitionistic validity. The proof search strategy extends Bibel’s con...
FOCS
2008
IEEE
13 years 8 months ago
2008
IEEE
We introduce another variant of Quantum MIP, where the provers do not share entanglement, the communication between the verifier and the provers is quantum, but the provers are u...
FOCS
1990
IEEE
13 years 11 months ago
1990
IEEE
A new algebraic technique for the construction of interactive proof systems is presented. Our technique is used to prove that every language in the polynomial-time hierarchy has an...