3813 search results - page 9 / 763 » Advanced Interaction in Context |
122
Voted
BCSHCI
2007
15 years 3 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. ...
112
Voted
ICRA
2005
IEEE
15 years 7 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...
136
Voted
VLUDS
2010
14 years 8 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...
122
Voted
CADE
2007
Springer
16 years 2 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...
71
Voted
APGV
2006
ACM
15 years 7 months ago
2006
ACM
