1521 search results - page 289 / 305 » On Sampled Semantics of Timed Systems |
CONCUR
2010
Springer
13 years 8 months ago
2010
Springer
Abstract. Graph games of infinite length provide a natural model for open reactive systems: one player (Eve) represents the controller and the other player (Adam) represents the en...
ICCV
2001
IEEE
14 years 9 months ago
2001
IEEE
We present a comprehensive treatment of 3D object tracking by posing it as a nonlinear state estimation problem. The measurements are derived using the outputs of shape-encoded fi...
ECCV
2002
Springer
14 years 9 months ago
2002
Springer
Visual sensors provide exclusively uncertain and partial knowledge of a scene. In this article, we present a suitable scene knowledge representation that makes integration and fusi...
Publication
Accessibility is a comprehensive measure of the interaction between land use and transportation
systems. It has been put forward as a performance-measure for evaluating the land u...
CIVR
2009
Springer
14 years 2 months ago
2009
Springer
We start from the state-of-the-art Bag of Words pipeline that in the 2008 benchmarks of TRECvid and PASCAL yielded the best performance scores. We have contributed to that pipelin...