271 search results - page 43 / 55 » Observational Completeness on Abstract Interpretation |
CORR
2009
Springer
13 years 8 months ago
2009
Springer
Abstract. We apply Uppaal Tiga to automatically compute adaptive scheduling strategies for an industrial case study dealing with a state-of-the-art image processing pipeline of a p...
ECCV
2000
Springer
15 years 22 days ago
2000
Springer
Abstract. Background subtraction is a method typically used to segment moving regions in image sequences taken from a static camera by comparing each new frame to a model of the sc...
ICALP
2009
Springer
14 years 5 months ago
2009
Springer
Abstract. We study a model of games that combines concurrency, imperfect information and stochastic aspects. Those are finite states games in which, at each round, the two players...
WCNC
2008
IEEE
14 years 5 months ago
2008
IEEE
Abstract— In this paper we propose the enhancement of routing metrics through a more complete view of the physical channel. Using cross-layer optimizations, we develop the Distri...
IROS
2007
IEEE
14 years 5 months ago
2007
IEEE
Abstract— Robots are emerging from industrial plants toward every people’s daily life. Thus, navigation in and understanding of human related environments becomes a prerequisit...