643 search results - page 85 / 129 » Experiments with Nonholonomic Manipulation |
CHI
2006
ACM
14 years 10 months ago
2006
ACM
Multi-user, touch-sensing input devices create opportunities for the use of cooperative gestures ? multi-user gestural interactions for single display groupware. Cooperative gestu...
CHI
2005
ACM
14 years 10 months ago
2005
ACM
Immersion is recognised as an important element of good games. However, it is not always clear what is meant by immersion. Earlier work has identified possible barriers to immersi...
CHI
2004
ACM
14 years 10 months ago
2004
ACM
Online communities can help people form productive relationships. Unfortunately, this potential is not always fulfilled: many communities fail, and designers don't have a sol...
CHI
2003
ACM
14 years 10 months ago
2003
ACM
How is interacting with computer programs different from interacting with people? One answer in the literature is that these two types of interactions are similar. The present stu...
POPL
2002
ACM
14 years 10 months ago
2002
ACM
e Abstraction for Software Verification Cormac Flanagan Shaz Qadeer Compaq Systems Research Center 130 Lytton Ave, Palo Alto, CA 94301 Software verification is an important and di...