740 search results - page 22 / 148 » Experiments on Supporting Interactive Proof Using Resolution |
ICSE
2000
IEEE-ACM
14 years 16 hour ago
2000
IEEE-ACM
This paper presents a technique for incrementally constructing safety specifications, abstract algorithm descriptions, and simulation proofs showing that algorithms meet their spe...
SAB
2010
Springer
13 years 6 months ago
2010
Springer
Learning robot-environment interaction with echo state networks (ESNs) is presented in this paper. ESNs are asked to bootstrap a robot’s control policy from human teacher’s dem...
WWW
2007
ACM
14 years 9 months ago
2007
ACM
In today's Web, many functionality-wise similar Web services are offered through heterogeneous interfaces (operation definitions) and business protocols (ordering constraints...
EUROSSC
2007
Springer
14 years 2 months ago
2007
Springer
This paper addresses the design of a large area, high resolution, networked pressure sensing floor with primary application in movement-based human-computer interaction (M-HCI). T...
CHI
2005
ACM
14 years 8 months ago
2005
ACM
There are a variety of digital tools for enabling people who are physically separated by time and space to communicate and collaborate. Widespread use of some of these tools, such...