Sciweavers

1763 search results - page 207 / 353
» A Formalization of Polytime Functions
Sort
View
CIA
2006
Springer
15 years 5 months ago
Agent-Based Analysis and Support for Incident Management
This paper presents an agent-based approach for error detection in incident management organizations. The approach consists of several parts. First, a formal approach for the speci...
Mark Hoogendoorn, Catholijn M. Jonker, Jan Treur, ...
DAGM
2006
Springer
15 years 5 months ago
Cloth X-Ray: MoCap of People Wearing Textiles
The contribution presents an approach for motion capturing (MoCap) of dressed people. A cloth draping method is embedded in a silhouette based MoCap system and an error functional ...
Bodo Rosenhahn, Uwe G. Kersting, Katie Powell, Han...
113
Voted
ECAI
2006
Springer
15 years 5 months ago
Boolean Games Revisited
Abstract. Game theory is a widely used formal model for studying strategical interactions between agents. Boolean games [8] are two players, zero-sum static games where players...
Elise Bonzon, Marie-Christine Lagasquie-Schiex, J&...
ECAI
2006
Springer
15 years 5 months ago
Verification of Medical Guidelines Using Task Execution with Background Knowledge
Abstract. The use of a medical guideline can be seen as the execution of computational tasks, sequentially or in parallel, in the face of patient data. It has been shown that many ...
Arjen Hommersom, Perry Groot, Peter J. F. Lucas, M...
ECTEL
2006
Springer
15 years 5 months ago
Personalization Services in Argumentation Tools: a Catalyst for Learning
Argumentation is considered as an essential element for effective learning since it enables learners to develop their points of view and refine their knowledge. Our aim being to fa...
Christina E. Evangelou, Nikos Karousos, Manolis Tz...