Sciweavers

8499 search results - page 125 / 1700
» cans 2009
Sort
View
IWANN
2009
Springer
15 years 11 months ago
Multiagent-Based Educational Environment for Dependents
This paper presents a multiagent architecture that facilitates active learning in educational environments for dependents. The multiagent architecture incorporates agents that can ...
Antonia Macarro, Alberto Pedrero, Juan A. Fraile
KI
2009
Springer
15 years 11 months ago
A Manifold Representation as Common Basis for Action Production and Recognition
In this paper, we first review our work in the domain of dextrous manipulation, where we introduced Manipulation Manifolds – a highly structured manifold representation of hand ...
Jan Steffen, Michael Pardowitz, Helge Ritter
KI
2009
Springer
15 years 11 months ago
Generalized Clustering via Kernel Embeddings
Abstract. We generalize traditional goals of clustering towards distinguishing components in a non-parametric mixture model. The clusters are not necessarily based on point locatio...
Stefanie Jegelka, Arthur Gretton, Bernhard Sch&oum...
KI
2009
Springer
15 years 11 months ago
External Sources of Axioms in Automated Theorem Proving
Abstract. In recent years there has been a growing demand for Automated Theorem Proving (ATP) in large theories, which often have more axioms than can be handled effectively as no...
Martin Suda, Geoff Sutcliffe, Patrick Wischnewski,...
KI
2009
Springer
15 years 11 months ago
On Defaults in Action Theories
Abstract. We study the integration of two prominent fields of logicbased AI: action formalisms and non-monotonic reasoning. The resulting framework allows an agent employing an ac...
Hannes Strass, Michael Thielscher