1284 search results - page 6 / 257 » On Helping and Interactive Proof Systems |
ARTS
1999
Springer
13 years 11 months ago
1999
Springer
This paper discusses the adaptation of the PVS theorem prover for performing analysis of real-time systems written in the ASTRAL formal specification language. A number of issues w...
COCO
1992
Springer
13 years 11 months ago
1992
Springer
STOC
2000
ACM
2000
ACM
Parallelization, amplification, and exponential time simulation of quantum interactive proof systems
13 years 11 months ago
HRI
2006
ACM
14 years 1 months ago
2006
ACM
This paper presents the combined results of two studies that investigated how a robot should best approach and place itself relative to a seated human subject. Two live Human Robo...
ACMIDC
2008
13 years 9 months ago
2008
In this paper we present the results of a comparative study that explores the potential benefits of using embodied ion to help children, aged 7 to 10, learn abstract concepts rela...