882 search results - page 35 / 177 » Observing Infinite-dimensional Dynamical Systems |
130
click to vote
MFCS
1991
Springer
15 years 5 months ago
1991
Springer
Weak Observational Congruence (woc) defined on CCS agents is not a bisimulation since it does not require two states reached by bisimilar computations of woc agents to be still w...
132
click to vote
CVPR
2003
IEEE
16 years 4 months ago
2003
IEEE
This paper addresses the problem of capturing the dynamics for exemplar-based recognition systems. Traditional HMM provides a probabilistic tool to capture system dynamics and in ...
125
click to vote
CVPR
2007
IEEE
16 years 4 months ago
2007
IEEE
In this paper, we present a system that integrates fully automatic scene geometry estimation, 2D object detection, 3D localization, trajectory estimation, and tracking for dynamic...
116
Voted
SPIN
2000
Springer
15 years 5 months ago
2000
Springer
Research on how to reason about correctness properties of software systems using model checking is advancing rapidly. Work on exnite-state models from program source code and on ab...
112
click to vote
FGR
2011
IEEE
14 years 5 months ago
2011
IEEE
Abstract—Vision-based prop-free pointing detection is challenging both from an algorithmic and a systems standpoint. From a computer vision perspective, accurately determining wh...