740 search results - page 15 / 148 » Experiments on Supporting Interactive Proof Using Resolution |
MHCI
2005
Springer
15 years 6 months ago
2005
Springer
We propose a support system for finding lost objects indoors. The system employs active RFID and ultrasonic position detection to detect the position of a lost object. The system...
125
click to vote
ACL
2004
15 years 2 months ago
2004
Temporal relation resolution involves extraction of temporal information explicitly or implicitly embedded in a language. This information is often inferred from a variety of inte...
103
click to vote
HPDC
2005
IEEE
15 years 7 months ago
2005
IEEE
Very large scale computations are now becoming routinely used as a methodology to undertake scientific research. In this context, ‘provenance systems’ are regarded as the equ...
CHI
1998
ACM
15 years 5 months ago
1998
ACM
In this paper, we propose a multiple-device approach for supporting informal meetings using a digital whiteboard. Traditional digital whiteboard systems often suffer from a limite...
EPIA
1999
Springer
15 years 5 months ago
1999
Springer
We introduce a resource adaptive agent mechanism which supports the user of an interactive theorem proving system. The mechanism, an extension of 5 , uses a two layered architectur...