1633 search results - page 291 / 327 » On the Verification of Temporal Properties |
ICRA
2002
IEEE
15 years 4 months ago
2002
IEEE
Abstract— This paper presents some recent developments of the LAAS architecture for autonomous mobile robots. In particular, we specify the role of the Execution Control level of...
MICRO
2002
IEEE
15 years 4 months ago
2002
IEEE
A value’s degree of use—the number of dynamic uses of that value—provides the most essential information needed to optimize its communication. We present simulation results ...
PCM
2009
Springer
15 years 4 months ago
2009
Springer
Video content is growing at an explosive rate nowadays. How to consume them efficiently is an important research point for years. Although the widely investigated video summarizati...
CVPR
2000
IEEE
15 years 4 months ago
2000
IEEE
We present a framework for tracking rigid objects based on an adaptive Bayesian recognition technique that incorporates dependencies between object features. At each frame we fin...
HT
2000
ACM
15 years 4 months ago
2000
ACM
Hypermedia structured in terms of the higher-level intent of its author can be adapted to a wider variety of final presentations. Many multimedia systems encode such highlevel int...