Sciweavers

4806 search results - page 195 / 962
» Interactive uncertainty analysis
Sort
View
ISI
2004
Springer
15 years 9 months ago
Interactive Query Languages for Intelligence Tasks
Counterterrorism and intelligence tasks rely on the efficient collection, analysis and dissemination of information. While information systems play a key role in such tasks, databa...
Antonio Badia
ACSD
2001
IEEE
134views Hardware» more  ACSD 2001»
15 years 8 months ago
Embedding Imperative Synchronous Languages in Interactive Theorem Provers
We present a new way to define the semantics of imperative synchronous languages by means of separating the control and the data flow. The control flow is defined by predicates th...
Klaus Schneider
ICCE
2007
109views Education» more  ICCE 2007»
15 years 5 months ago
Information Sharing and Interaction in Collaborative Convergence
: In multiple research literatures, successful collaborative problem solving and learning is analyzed in terms of success of information sharing. In this paper we report analyses o...
Daniel D. Suthers, Ravikiran Vatrapu, Richard Medi...
MC
2008
122views Computer Science» more  MC 2008»
15 years 5 months ago
Interaction Techniques for Case Selection in Medical Computer Based Training Systems
The vast majority of medical computer-based training (CBT) systems aim at problem-oriented case based training. A crucial issue in the design of CBT systems is the selection of ap...
Ragnar Bade, Jeanette Cordes, Maik Mewes, Bernhard...
AAAI
2000
15 years 5 months ago
Cognitive Status and Form of Reference in Multimodal Human-Computer Interaction
We analyze a corpus of referring expressions collected from user interactions with a multimodal travel guide application. The analysis suggests that, in dramatic contrast to norma...
Andrew Kehler