466 search results - page 34 / 94 » Critical Reasoning |
ISIPTA
2005
IEEE
14 years 2 months ago
2005
IEEE
Pose estimation involves reconstructing the configuration of a moving body from images sequences. In this paper we present a general framework for pose estimation of unknown obje...
ACII
2005
Springer
14 years 2 months ago
2005
Springer
This paper proposes an alternative paradigm for building affective competencies in embodied conversational agents (ECAs). The key feature of this approach -- and the reason for ref...
ILP
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. It is well known by Inductive Logic Programming (ILP) practioners that ILP systems usually take a long time to find valuable models (theories). The problem is specially ...
CONCUR
2004
Springer
14 years 2 months ago
2004
Springer
We present a trace semantics for a language of parallel programs which share access to mutable data. We introduce a resource-sensitive logic for partial correctness, based on a re...
FC
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. The security of any computer system that is configured or operated by human beings critically depends on the information conveyed by the user interface, the decisions of...