3813 search results - page 9 / 763 » Advanced Interaction in Context |
134
click to vote
BCSHCI
2007
15 years 4 months ago
2007
This paper presents the design and comparison of a mousebased interaction technique (hereafter IT) and two advanced IT, used in public spaces to support navigation in a 3D space. ...
122
click to vote
ICRA
2005
IEEE
15 years 8 months ago
2005
IEEE
Abstract— This paper presents a novel approach to mapping for mobile robots that exploits user interaction to semiautonomously create a labelled map of the environment. The robot...
147
click to vote
VLUDS
2010
14 years 10 months ago
2010
Large high-resolution displays combine the images of multiple smaller display devices to form one large display area. A total resolution that can easily comprise several hundred m...
137
click to vote
CADE
2007
Springer
16 years 3 months ago
2007
Springer
This paper presents an overview of the verication framework ALICE in its current version 0.7. It is based on the generic theorem prover Isabelle [Pau03a]. Within ALICE a software o...
APGV
2006
ACM
15 years 9 months ago
2006
ACM
