740 search results - page 64 / 148 » Experiments on Supporting Interactive Proof Using Resolution |
112
click to vote
HRI
2010
ACM
15 years 8 months ago
2010
ACM
—Reading gaze direction is important in human-robot interactions as it supports, among others, joint attention and non-linguistic interaction. While most previous work focuses on...
100
click to vote
CHI
2003
ACM
16 years 1 months ago
2003
ACM
Infrastructure software comprises code libraries or runtime processes that support the development or operation of application software. A particular infrastructure system may sup...
100
click to vote
TAP
2008
Springer
15 years 1 months ago
2008
Springer
It has been known for some time that larger graphs can be interpreted if laid out in 3D and displayed with stereo and/or motion depth cues to support spatial perception. However, ...
109
click to vote
CADE
2007
Springer
16 years 1 months ago
2007
Springer
We introduce a calculus for handling integer arithmetic in first-order logic. The method is tailored to Java program verification and meant to be used both as a supporting procedur...
102
click to vote
HCI
2009
14 years 11 months ago
2009
It becomes more difficult to find valuable contents in the Web 2.0 environment since lots of inexperienced users provide many unorganized contents. In the previous researches, peop...