740 search results - page 15 / 148 » Experiments on Supporting Interactive Proof Using Resolution |
138
Voted
MHCI
2005
Springer
15 years 11 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...
174
Voted
ACL
2004
15 years 7 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...
150
Voted
HPDC
2005
IEEE
15 years 11 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...
138
Voted
CHI
1998
ACM
15 years 10 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...
136
Voted
EPIA
1999
Springer
15 years 10 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...