Sciweavers

5158 search results - page 75 / 1032
» Generalization of the Dempster-Shafer Theory
Sort
View
ICRA
2000
IEEE
91views Robotics» more  ICRA 2000»
14 years 1 months ago
Mechanism Synthesis Theory and the Design of Robots
The synthesis theory for spatial linkage systems can be formulated in a way that is compatible with the geometric design of serial and parallel chain robotic systems. Mechanism de...
J. Michael McCarthy
ADBIS
2004
Springer
193views Database» more  ADBIS 2004»
14 years 19 days ago
Quantifier-Elimination for the First-Order Theory of Boolean Algebras with Linear Cardinality Constraints
Abstract. We present for the first-order theory of atomic Boolean algebras of sets with linear cardinality constraints a quantifier elimination algorithm. In the case of atomic Boo...
Peter Z. Revesz
AGI
2008
13 years 10 months ago
Anticipative coordinated cognitive processes for interactivist and Piagetian theories
Abstract. This paper presents a model of intelligence based on principles introduced by Piaget and the interactivist framework. It focuses on embodiment and sensory-motor aspects o...
Jean-Charles Quinton, Jean-Christophe Buisson, Fil...
BCSHCI
2007
13 years 10 months ago
Interaction manifolds: theory from experiments
This poster builds on comparative ethnographic work of a multi-disciplinary medical team using a paper-based and a computer-based patient record system. It describes the design an...
Cecily Morrison, Alan F. Blackwell
SIGIR
2009
ACM
14 years 3 months ago
Portfolio theory of information retrieval
This paper studies document ranking under uncertainty. It is tackled in a general situation where the relevance predictions of individual documents have uncertainty, and are depen...
Jun Wang, Jianhan Zhu