740 search results - page 53 / 148 » Experiments on Supporting Interactive Proof Using Resolution |
ISPASS
2003
IEEE
14 years 4 months ago
2003
IEEE
Emerging application domains such as interactive vision, animation, and multimedia collaboration display dynamic scalable parallelism, and high computational requirements, making ...
AAAI
2006
14 years 7 days ago
2006
ScriptEase is a tool that allows authors with no programming experience to create interactive stories for computer role-playing games. Instead of writing scripting code manually, ...
HAPTICS
2009
IEEE
14 years 5 months ago
2009
IEEE
Human vibrotactile detection experiments were used to compare temporal sinusoids displayed on three commercial haptic devices to a high-fidelity linear voice-coil actuator. The t...
INTERACT
2003
14 years 6 days ago
2003
: An increasing number of consumer products for everyday use offer the user advanced programming capabilities. Existing technologies offer the potential to design human-product int...
CHI
2003
ACM
14 years 11 months ago
2003
ACM
The iStuff toolkit of physical devices, and the flexible software infrastructure to support it, were designed to simplify the exploration of novel interaction techniques in the po...