488 search results - page 44 / 98 » Compositional Verification of Probabilistic Systems Using Le... |
IROS
2008
IEEE
15 years 5 months ago
2008
IEEE
— This paper presents a method to recognize and generate sequential motions for object manipulation such as placing one object on another or rotating it. Motions are learned usin...
ICML
2004
IEEE
15 years 12 months ago
2004
IEEE
Predictive state representations (PSRs) are a recently proposed way of modeling controlled dynamical systems. PSR-based models use predictions of observable outcomes of tests that...
ICML
2010
IEEE
14 years 11 months ago
2010
IEEE
We present an overview of FAB-MAP, an algorithm for place recognition and mapping developed for infrastructure-free mobile robot navigation in large environments. The system allow...
ICIP
2004
IEEE
16 years 22 days ago
2004
IEEE
In the framework of a face verification system using local features and a Gaussian Mixture Model based classifier, we address the problem of non-frontal face verification (when on...
CORR
2011
Springer
14 years 6 months ago
2011
Springer
A plausible definition of "reasoning" could be "algebraically manipulating previously acquired knowledge in order to answer a new question". This definition co...