740 search results - page 43 / 148 » Experiments on Supporting Interactive Proof Using Resolution |
FLAIRS
2000
13 years 9 months ago
2000
Collaboration between peers is an important aspect of the learning process and can considerably augment learning in studying complex domains. To ensure that peer collaboration occ...
ASE
2002
13 years 8 months ago
2002
This paper describes a specialized interface to PVS called TAME (Timed Automata Modeling Environment) which provides automated support for proving properties of I/O automata. A maj...
OIR
2010
13 years 6 months ago
2010
Purpose – The purpose of this paper is to examine the integration of digital library (DL) technologies with ontology-based knowledge representation in providing semantic rich in...
PRESENCE
2000
13 years 8 months ago
2000
The quality of realism in virtual environments (VEs) is typically considered to be a function of visual and audio fidelity mutually exclusive of each other. However, the VE partic...
MHCI
2009
Springer
14 years 3 months ago
2009
Springer
Cycling is a common leisure time sports in touristic regions. For us it was the question how tourists actually find their paths in the area and what kind of navigation aids might...