8648 search results - page 1383 / 1730 » Designing for Human-Agent Interaction |
214
click to vote
JACM
2002
15 years 6 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: ...
205
click to vote
VRST
2010
ACM
15 years 4 months ago
2010
ACM
The Walking-In-Place interaction technique was introduced to navigate infinitely in 3D virtual worlds by walking in place in the real world. The technique has been initially devel...
174
Voted
WWW
2006
ACM
16 years 7 months ago
2006
ACM
The union of Interactive Digital TV (IDTV) and Web promotes the development of new interactive multimedia services, enjoyable while watching TV even on the new handheld digital TV...
160
click to vote
WWW
2005
ACM
16 years 7 months ago
2005
ACM
The recent evolution of Internet, driven by the Web services technology, is extending the role of the Web from a support of information interaction to a middleware for B2B interac...
145
click to vote
CHI
2009
ACM
16 years 7 months ago
2009
ACM
Passive brain-computer interfaces are designed to use brain activity as an additional input, allowing the adaptation of the interface in real time according to the user's men...