1284 search results - page 6 / 257 » On Helping and Interactive Proof Systems |
ARTS
1999
Springer
15 years 1 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
15 years 1 months ago
1992
Springer
STOC
2000
ACM
2000
ACM
Parallelization, amplification, and exponential time simulation of quantum interactive proof systems
15 years 1 months ago
HRI
2006
ACM
15 years 3 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...
95
Voted
ACMIDC
2008
14 years 11 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...