Sciweavers

5683 search results - page 855 / 1137
» Interactive Schedulability Analysis
Sort
View
ADS
2004
Springer
16 years 2 days ago
Generating Socially Appropriate Tutorial Dialog
Analysis of student-tutor coaching dialogs suggest that good human tutors attend to and attempt to influence the motivational state of learners. Moreover, they are sensitive to the...
W. Lewis Johnson, Paola Rizzo, Wauter Bosma, Sande...
CIVR
2004
Springer
150views Image Analysis» more  CIVR 2004»
16 years 2 days ago
Three Interfaces for Content-Based Access to Image Collections
This paper describes interfaces for a suite of three recently developed techniques to facilitate content-based access to large image and video repositories. Two of these techniques...
Daniel Heesch, Stefan M. Rüger
DIAGRAMS
2004
Springer
16 years 2 days ago
An Experimental Comparison of Diagrammatic and Algebraic Logics
Abstract. We have developed a diagrammatic logic for theorem proving, focusing on the domain of metric-space analysis (a geometric domain, but traditionally taught using a dry alge...
Daniel Winterstein, Alan Bundy, Corin A. Gurr, Mat...
ECAI
2004
Springer
16 years 2 days ago
Explaining the Result of a Decision Tree to the End-User
This paper addresses the problem of the explanation of the result given by a decision tree, when it is used to predict the class of new cases. In order to evaluate this result, the...
Isabelle Alvarez
FMCO
2004
Springer
112views Formal Methods» more  FMCO 2004»
16 years 1 days ago
Probabilistic Linda-Based Coordination Languages
Abstract. Coordination languages are intended to simplify the development of complex software systems by separating the coordination aspects of an application from its computation ...
Alessandra Di Pierro, Chris Hankin, Herbert Wiklic...