Sciweavers

5600 search results - page 841 / 1120
» Evaluating affective interactions
Sort
View
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
ECCV
2004
Springer
16 years 2 days ago
An AR Human Computer Interface for Object Localization in a Cognitive Vision Framework
Abstract. In the European cognitive vision project VAMPIRE (IST2001-34401), mobile AR-kits are used for interactive teaching of a visual active memory. This is achieved by 3D augme...
Hannes Siegl, Gerald Schweighofer, Axel Pinz
EUSAI
2004
Springer
16 years 2 days ago
End-User Configuration of Ambient Intelligence Environments: Feasibility from a User Perspective
Abstract. We report research into concepts and technology for enabling endusers to configure Ambient Intelligent environments. In this paper we focus on the feasibility and accepta...
Panos Markopoulos, Irene Mavrommati, Achilles Kame...
FMCO
2004
Springer
112views Formal Methods» more  FMCO 2004»
16 years 2 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...