Sciweavers

207 search results - page 24 / 42
» Designers' natural descriptions of interactive behaviors
Sort
View
CHI
2009
ACM
15 years 10 months ago
City browser: developing a conversational automotive HMI
This paper introduces City Browser, a prototype multimodal, conversational, spoken language interface for automotive navigational aid and information access. A study designed to e...
Alexander Gruenstein, Bruce Mehler, Bryan Reimer, ...
HICSS
2003
IEEE
174views Biometrics» more  HICSS 2003»
15 years 3 months ago
Linking Perception and Action in a Control Architecture for Human-Robot Domains
Human-robot interaction is a growing research domain; there are many approaches to robot design, depending on the particular aspects of interaction being focused on. In this paper...
Monica N. Nicolescu, Maja J. Mataric
TLDI
2009
ACM
155views Formal Methods» more  TLDI 2009»
15 years 6 months ago
Opis: reliable distributed systems in OCaml
The importance of distributed systems is growing as computing devices become ubiquitous and bandwidth becomes plentiful. Concurrency and distribution pose algorithmic and implemen...
Pierre-Évariste Dagand, Dejan Kostic, Vikto...
SIGSOFT
2003
ACM
15 years 10 months ago
Bogor: an extensible and highly-modular software model checking framework
Model checking is emerging as a popular technology for reasoning about behavioral properties of a wide variety of software artifacts including: requirements models, architectural ...
Robby, Matthew B. Dwyer, John Hatcliff
MOBILITY
2009
ACM
15 years 4 months ago
Widgets mobility
Widgets are becoming a natural way to design small, intuitive application, and their usage is becoming widespread on both the desktop and the mobile world. However, most widgets s...
Jean Le Feuvre, Cyril Concolato, Jean-Claude Dufou...