595 search results - page 62 / 119 » Predictive State Representations with State Space Partitioni... |
ICASSP
2011
IEEE
14 years 2 months ago
2011
IEEE
Many practical data streams are typically composed of several states known as regimes. In this paper, we invoke phase space reconstruction methods from non-linear time series and ...
CAV
2009
Springer
15 years 11 months ago
2009
Springer
Counter Abstraction for Concurrent Software G?erard Basler1 , Michele Mazzucchi1 , Thomas Wahl1,2 , Daniel Kroening1,2 1 Computer Systems Institute, ETH Zurich, Switzerland 2 Compu...
ICRA
2003
IEEE
15 years 4 months ago
2003
IEEE
— Particle filters have recently been applied with great success to mobile robot localization. This success is mostly due to their simplicity and their ability to represent arbi...
105
click to vote
ECCV
2006
Springer
15 years 2 months ago
2006
Springer
Tracking body poses of multiple persons in monocular video is a challenging problem due to the high dimensionality of the state space and issues such as inter-occlusion of the pers...
92
Voted
PSTV
1993
15 years 5 days ago
1993
We present a new algorithm that can be used for solving the model−checking problem for linear−time temporal logic. This algorithm can be viewed as the combination of two exist...