740 search results - page 26 / 148 » Experiments on Supporting Interactive Proof Using Resolution |
CADE
2007
Springer
14 years 8 months ago
2007
Springer
We show how theorem proving and methods for handling real algebraic constraints can be combined for hybrid system verification. In particular, we highlight the interaction of deduc...
NETGAMES
2003
ACM
14 years 1 months ago
2003
ACM
The application of Networked Virtual Environment (NVE) technology on mobile devices is an emerging area in research. The marketing potential for these types of applications, when ...
HAID
2011
Springer
12 years 8 months ago
2011
Springer
Many victims of The Great East Japan Earthquake lost many precious mementos. Such loses can result in more time being required to recover emotionally and mentally. This paper propo...
ACMDIS
2004
ACM
14 years 1 months ago
2004
ACM
IT research is often informed by studies of the practices that new technologies are to be embedded in and which they transform in their use. The development of mixed reality, tang...
INTERNET
2010
13 years 6 months ago
2010
abstractions, concepts, and actions that characterize human experiences. This will herald computing for human experience (CHE). The CHE vision is built on a suite of technologies t...