740 search results - page 96 / 148 » Experiments on Supporting Interactive Proof Using Resolution |
CHI
2007
ACM
16 years 1 months ago
2007
ACM
We present a qualitative study of 20 American Orthodox Jewish families' use of home automation for religious purposes. These lead users offer insight into real-life, longterm...
113
click to vote
CE
2007
15 years 1 months ago
2007
The two separate projects described have examined how teachers exploit computer-based technologies in supporting learning of science at secondary level. This paper examines how pe...
118
click to vote
HICSS
2003
IEEE
15 years 6 months ago
2003
IEEE
An increasing number of Web-based systems, including brainstorming, decision-making, and negotiation support systems, are being developed to aid users in solving particular types ...
115
click to vote
CA
1999
IEEE
15 years 5 months ago
1999
IEEE
This paper presents an interactive hierarchical motion control system dedicated to the animation of human figure locomotion in virtual environments. As observed in gait experiment...
122
click to vote
IVC
2006
15 years 1 months ago
2006
We present a systematic comparison of machine learning methods applied to the problem of fully automatic recognition of facial expressions, including AdaBoost, support vector mach...