3169 search results - page 222 / 634 » Robust Timed Automata |
161
click to vote
PAMI
2011
14 years 7 months ago
2011
In this paper we address the problem of tracking an object in a video given its location in the first frame and no other information. Recently, a class of tracking techniques cal...
178
Voted
COMSNETS
2012
14 years 21 days ago
2012
Abstract—We present RODEO, a RObust and rapidly DEplOyable wireless mesh network designed for applications such as disaster management. Natural disasters often destroy existing c...
159
Voted
FUIN
2007
15 years 4 months ago
2007
Devices of interconnected parallel acting sequential automata are investigated from a language theoretic point of view. Starting with the well-known result that each unary language...
167
Voted
TCS
2002
15 years 4 months ago
2002
This paper explores the application of rewriting logic to the executable formal modeling of real-time and hybrid systems. We give general techniques by which such systems can be s...
155
click to vote
CVPR
2008
IEEE
16 years 7 months ago
2008
IEEE
This paper describes a new passive approach to capture time-varying scene geometry in large acquisition volumes from multi-view video. It can be applied to reconstruct complete mo...