3188 search results - page 403 / 638 » The Importance of Interaction in Sonification |
125
click to vote
QEST
2010
IEEE
14 years 11 months ago
2010
IEEE
Discrete-Time Markov Chains (DTMCs) are a widely-used formalism to model probabilistic systems. On the one hand, available tools like PRISM or MRMC offer efficient model checking a...
SIGDIAL
2010
14 years 11 months ago
2010
We propose a non-humanlike spoken dialogue design, which consists of two elements: non-humanlike turn-taking and non-humanlike acknowledgment. Two experimental studies are reporte...
117
click to vote
CDC
2009
IEEE
14 years 11 months ago
2009
IEEE
In many applicative scenarios it is important to derive information about the topology and the internal connections of more dynamical systems interacting together. Examples can be ...
131
click to vote
FAST
2009
14 years 11 months ago
2009
Provenance capture as applied to execution oriented and interactive workflows is designed to record minute detail needed to support a "modify and restart" paradigm as we...
115
click to vote
FORTE
2009
14 years 11 months ago
2009
Abstract. In this paper, we present an approach to define the semantics for object-oriented modeling languages. One important property of this semantics is to support underspecifie...