Sciweavers

1181 search results - page 68 / 237
» Interactive generation of overview information using speech
Sort
View
TACAS
2012
Springer
277views Algorithms» more  TACAS 2012»
13 years 5 months ago
Proving Reachability Using FShell - (Competition Contribution)
FShell is an automated white-box test-input generator for C programs, computing test data with respect to user-specified code coverage criteria. The pillars of FShell are the decl...
Andreas Holzer, Daniel Kroening, Christian Schallh...
IDA
2009
Springer
15 years 2 months ago
Visualization-Driven Structural and Statistical Analysis of Turbulent Flows
Knowledge extraction from data volumes of ever increasing size requires ever more flexible tools to facilitate interactive query. Interactivity enables real-time hypothesis testin...
Kenny Gruchalla, Mark Rast, Elizabeth Bradley, Joh...
ISMAR
2006
IEEE
15 years 3 months ago
"Move the couch where?" : developing an augmented reality multimodal interface
This paper describes an augmented reality (AR) multimodal interface that uses speech and paddle gestures for interaction. The application allows users to intuitively arrange virtu...
Sylvia Irawati, Scott Green, Mark Billinghurst, An...
GI
2005
Springer
15 years 3 months ago
Distributed User Modeling for Situated Interaction
: A distributed service to model and control contextual information in mobile and ubiquitous computing environments is presented in this paper. We introduce the general user model ...
Dominik Heckmann
HCI
2007
14 years 11 months ago
Privacy Issues for the Disclosure of Emotions to Remote Acquaintances Without Simultaneous Communication
We discuss the privacy issues related to the design of systems that disclose information about emotions to remote acquaintances, without simultaneous communication: users do not ch...
Sébastien Duval, Christian Becker, Hiromich...