218 search results - page 19 / 44 » Embodied user interfaces for really direct manipulation |
FASE
2000
Springer
13 years 11 months ago
2000
Springer
We present a family of tools for program development and verification, comprising the transformation system TAS and the theorem proving interface IsaWin. Both are based on the theo...
CHI
2009
ACM
14 years 8 months ago
2009
ACM
We outline strategies for actuated tangible user interfaces (TUIs) to improve the study of proteins. Current protein study tools miss fundamental biology concepts because graphica...
CHI
2002
ACM
14 years 7 months ago
2002
ACM
Increasing amounts of public, corporate, and private speech data are now available on-line. These are limited in their usefulness, however, by the lack of tools to permit their br...
CHI
2006
ACM
14 years 7 months ago
2006
ACM
Our current understanding of human interaction with hybrid or augmented environments is very limited. Here we focus on `tangible interaction', denoting systems that rely on e...
CHI
2006
ACM
14 years 7 months ago
2006
ACM
The PhotoArcs interface aims to enable easy and fun creation and manipulation of photo-narratives to encourage sharing and interaction. PhotoArcs leverages the benefits of existin...