Sciweavers

2737 search results - page 219 / 548
» interaction 2009
Sort
View
FM
2009
Springer
95views Formal Methods» more  FM 2009»
16 years 1 months ago
It's Doomed; We Can Prove It
Abstract. Programming errors found early are the cheapest. Tools applying to the early stage of code development exist but either they suffer from false positives (“noise”) or...
Jochen Hoenicke, K. Rustan M. Leino, Andreas Podel...
ACMACE
2009
ACM
16 years 1 months ago
A game controller based on multiple sensors
A digital game is normally controlled by hand. Playing such a game requires only minimum hand movements. Rather than being easy and comfortable, this game controller is designed t...
Dapeng Zhang 0002, Zhongjie Cai, Kefei Chen, Bernh...
IHM
2009
ACM
16 years 1 months ago
Le mitigeur: principe de conception pour la mise en valeur des objectifs de l'utilisateur
This paper introduces a “design mixer” approach to usercentred interactive software design. This method overcomes the limits of a design process that favours the handling/mana...
Mathieu Petit, Meriam Horchani
VRST
2009
ACM
16 years 1 months ago
HardBorders: a new haptic approach for selection tasks in 3D menus
In this paper, we introduce a 3D menu with a new technique of haptic guidance, for virtual environments. The 3D menu consists in a thin polyhedral shape, with the items at the cor...
Caroline Essert-Villard, Antonio Capobianco
HCI
2009
15 years 4 months ago
The Pluses and Minuses of Obtaining Measurements from Digital Scans
Digital scanners are commonplace and are used in many different applications to obtain three-dimensional shapes and linear and circumferential measurements. Even though scanners ca...
Ravindra S. Goonetilleke, Channa P. Witana, Jianhu...