1384 search results - page 155 / 277 » Protocol Models of Human-Computer Interaction |
195
Voted
GW
1999
Springer
15 years 10 months ago
1999
Springer
Abstract. The use of gesture as a natural interface serves as a motivating force for research in modeling, analyzing and recognition of gestures. In particular, human computer inte...
193
Voted
JACM
2002
15 years 5 months ago
2002
We show how to use an interactive theorem prover, HOL, together with a model checker, SPIN, to prove key properties of distance vector routing protocols. We do three case studies: ...
183
click to vote
MHCI
2007
Springer
16 years 7 days ago
2007
Springer
This paper presents a photo browsing system on mobile devices to browse and search photos efficiently by tilting action. It employs tilt dynamics and multi-scale photo screen layo...
157
Voted
HRI
2006
ACM
16 years 2 days ago
2006
ACM
Autonomous robots use sensors to perceive and track objects in the world. Tracking algorithms use object motion models to estimate the position of a moving object. Tracking effic...
163
click to vote
ASIACRYPT
2000
Springer
15 years 9 months ago
2000
Springer
A conference key protocol allows a group of participants to establish a secret communication (conference) key so that all their communications thereafter are protected by the key. ...