448 search results - page 21 / 90 » Abstraction in Predictive State Representations |
DATE
2004
IEEE
15 years 1 months ago
2004
IEEE
This article presents an approach, which combines theorem proving-based refinement with model checking for state based real-time systems. Our verification flow starts from UML sta...
ICRA
2009
IEEE
15 years 4 months ago
2009
IEEE
Abstract— In this paper, we propose a deformable-modeldriven method to recognize the state of hanging clothes using three-dimensional (3D) observed data. For the task to pick up ...
BPM
2008
Springer
14 years 11 months ago
2008
Springer
Simulation is widely used as a tool for analyzing business s but is mostly focused on examining rather abstract steady-state situations. Such analyses are helpful for the initial d...
AR
2002
14 years 9 months ago
2002
Abstract--A prominent emerging theory of sensorimotor development in biological systems proposes that control knowledge is encoded in the dynamics of physical interaction with the ...
CDC
2009
IEEE
15 years 1 months ago
2009
IEEE
Abstract-- Dataflow representations of Digital Signal Processing (DSP) software have been developing since the 1980's. They have proven to be useful in identifying bottlenecks...