4946 search results - page 176 / 990 » Interacting with Large Displays |
171
click to vote
CAV
2011
Springer
14 years 10 months ago
2011
Springer
Abstract. We describe a tool that applies theorem proving technology to synthesize code fragments that use given library functions. To determine candidate code fragments, our appro...
126
click to vote
ICMCS
2006
IEEE
16 years 13 days ago
2006
IEEE
This paper proposes a method for designing user interfaces based on ideas rooted in data communication theory. It suggests that a visual user interface should be treated as a mult...
151
click to vote
HICSS
2010
IEEE
15 years 11 months ago
2010
IEEE
The design of a creativity workshop which helps to develop new ideas of how to support elderly people to live in their own home for as long as possible is presented. The participa...
150
click to vote
AUIC
2002
IEEE
15 years 11 months ago
2002
IEEE
This paper describes a novel use of augmented reality for the visualisation of virtual objects as part of the move towards pervasive computing. It uses fiducial markers as switche...
204
click to vote
IWEC
2007
15 years 7 months ago
2007
A video game application was developed using SmartSkin, a body shape sensing device. The video game uses a table-sized SmartSkin that can recognize players’ arms on the tabletop....