Sciweavers

797 search results - page 8 / 160
» Observing Success in the Pi-Calculus
Sort
View
FDL
2008
IEEE
14 years 11 months ago
UML Profile for Modeling Product Observation
Nowadays interactive electronics products offer a huge functionality to prospective customers, but often it is too huge and complex to be grasped and used successfully. In this ca...
Mathias Funk, Piet van der Putten, Henk Corporaal
AAAI
2011
13 years 9 months ago
Multi-Observation Sensor Resetting Localization with Ambiguous Landmarks
Successful approaches to the robot localization problem include Monte Carlo particle filters, which estimate non-parametric localization belief distributions. However, particle ...
Brian Coltin, Manuela M. Veloso
ACHI
2008
IEEE
14 years 11 months ago
Specification for User Modeling with Self-Observing Systems
The complicated user interfaces and complex functionality of nowadays interactive products lead to a new class of failures: People do not understand their products and thus fail t...
Mathias Funk, Piet van der Putten, Henk Corporaal
ICRA
2002
IEEE
128views Robotics» more  ICRA 2002»
15 years 2 months ago
Generation of a Task Model by Integrating Multiple Observations of Human Demonstrations
This paper describes a new approach on how to teach a robot everyday manipulation tasks under the “Learning from Observation” framework. Most of the approaches so far assume t...
Koichi Ogawara, Jun Takamatsu, Hiroshi Kimura, Kat...
87
Voted
ISSAC
2001
Springer
123views Mathematics» more  ISSAC 2001»
15 years 2 months ago
A probabilistic algorithm to test local algebraic observability in polynomial time
The following questions are often encountered in system and control theory. Given an algebraic model of a physical process, which variables can be, in theory, deduced from the inp...
Alexandre Sedoglavic