604 search results - page 8 / 121 » Embodied User Interfaces: Towards Invisible User Interfaces |
124
Voted
CHI
1999
ACM
15 years 3 months ago
1999
ACM
This paper reports empirical results from a study into the use of 2D widgets in 3D immersive virtual environments. Several researchers have proposed the use of 2D interaction tech...
ACSAC
2002
IEEE
15 years 4 months ago
2002
IEEE
Technology aimed at making life easier for game developers is an issue of controversy among security experts. Objections arise out of concerns of stability of a gamefriendly platf...
DSVIS
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. Stochastic model checking is a recent extension of traditional modelchecking techniques for the integrated analysis of both qualitative and quantitative system properties...
EUSAI
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. In this paper we propose a tangible cube as an input device for playfully changing between different TV-channels. First we consider several design approaches and compare ...
EICS
2010
ACM
15 years 4 months ago
2010
ACM
UI model discovery is a lightweight formal method in which a model of an interactive system is automatically discovered by exploring the system’s state space, simulating the act...