740 search results - page 36 / 148 » Experiments on Supporting Interactive Proof Using Resolution |
HRI
2006
ACM
14 years 2 months ago
2006
ACM
Along with the development of interactive robots, controlled experiments and field trials are regularly conducted to stage human-robot interaction. Experience in this field has sh...
CHI
2011
ACM
13 years 1 days ago
2011
ACM
A user task often spans multiple heterogeneous devices, e.g., working on a PC in the office and continuing the work on a laptop or a mobile phone while commuting on a shuttle. How...
CHI
2004
ACM
14 years 1 months ago
2004
ACM
Current Personal Digital Assistants (PDAs) such as Pocket PCs provide little support for sketching. This is due, no doubt, to the limited screen size and relatively poor resolutio...
UIST
1996
ACM
14 years 18 days ago
1996
ACM
Most interactive graphical applications that use direct manipulation are built with low-level libraries such as Xlib because the graphic and interaction models of higher-level too...
SEKE
2001
Springer
14 years 27 days ago
2001
Springer
It is well known that traditional educational techniques can be complemented by simulation to achieve a more effective learning experience. One would expect the same phenomenon to...