Sciweavers

4190 search results - page 640 / 838
» Implementing commitment-based interactions
Sort
View
ICFEM
2003
Springer
15 years 8 months ago
Formal Proof of a Polychronous Protocol for Loosely Time-Triggered Architectures
The verification of safety critical systems has become an area of increasing importance in computer science. The notion of reactive system has emerged to concentrate on problems r...
Mickaël Kerboeuf, David Nowak, Jean-Pierre Ta...
ICMI
2003
Springer
131views Biometrics» more  ICMI 2003»
15 years 8 months ago
A system for fast, full-text entry for small electronic devices
A novel text entry system designed based on the ubiquitous 12button telephone keypad and its adaptation for a soft keypad are presented. This system can be used to enter full text...
Saied Bozorgui-Nesbat
ICMI
2003
Springer
133views Biometrics» more  ICMI 2003»
15 years 8 months ago
Mouthbrush: drawing and painting by hand and mouth
We present a novel multimodal interface which permits users to draw or paint using coordinated gestures of hand and mouth. A headworn camera captures an image of the mouth and the...
Chi-Ho Chan, Michael J. Lyons, Nobuji Tetsutani
ICMI
2003
Springer
99views Biometrics» more  ICMI 2003»
15 years 8 months ago
Using an autonomous cube for basic navigation and input
This paper presents a low-cost and practical approach to achieve basic input using a tactile cube-shaped object, augmented with a set of sensors, processor, batteries and wireless...
Kristof Van Laerhoven, Nicolas Villar, Albrecht Sc...
ICMI
2003
Springer
99views Biometrics» more  ICMI 2003»
15 years 8 months ago
Selective perception policies for guiding sensing and computation in multimodal systems: a comparative analysis
Intensive computations required for sensing and processing perceptual information can impose significant burdens on personal computer systems. We explore several policies for sel...
Nuria Oliver, Eric Horvitz