740 search results - page 53 / 148 » Experiments on Supporting Interactive Proof Using Resolution |
119
click to vote
ISPASS
2003
IEEE
15 years 6 months ago
2003
IEEE
Emerging application domains such as interactive vision, animation, and multimedia collaboration display dynamic scalable parallelism, and high computational requirements, making ...
128
click to vote
AAAI
2006
15 years 2 months 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
15 years 8 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...
115
click to vote
INTERACT
2003
15 years 2 months 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...
118
click to vote
CHI
2003
ACM
16 years 1 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...