Sciweavers

5683 search results - page 280 / 1137
» Interactive Schedulability Analysis
Sort
View
CIVR
2005
Springer
125views Image Analysis» more  CIVR 2005»
16 years 7 days ago
Interactive Video Search Using Multilevel Indexing
Large video collections present a unique set of challenges to the search system designer. Text transcripts do not always provide an accurate index to the visual content, and the pe...
John Adcock, Matthew L. Cooper, Andreas Girgensohn...
ISI
2004
Springer
16 years 1 days 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 10 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 8 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...
180
Voted
MC
2008
122views Computer Science» more  MC 2008»
15 years 8 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...