1384 search results - page 166 / 277 » Protocol Models of Human-Computer Interaction |
CASSIS
2004
Springer
15 years 3 months ago
2004
Springer
The ESC/Java tool was a lauded advance in effective static checking of realistic Java programs, but has become out-of-date with respect to Java and the Java Modeling Language (JML...
HAPTICS
2002
IEEE
15 years 3 months ago
2002
IEEE
Force feedback is widely assumed to enhance performance in robotic surgery, but its benefits have not yet been systematically assessed. In this study we examine the effects of for...
ISWC
2002
IEEE
15 years 3 months ago
2002
IEEE
Currently available screen and retinal head mounted displays have insufficient field of view to fully exploit many virtual and augmented reality applications. Screen based display...
CHI
2000
ACM
15 years 2 months ago
2000
ACM
We can reliably build “second generation” intelligent computer tutors that are approximately half as effective as human tutors. This paper evaluates two interface enhancements...
CHI
2000
ACM
15 years 2 months ago
2000
ACM
Pen-based user interfaces are becoming ever more popular. Gestures (i.e., marks made with a pen to invoke a command) are a valuable aspect of pen-based UIs, but they also have dra...