43 search results - page 5 / 9 » Handling frequent updates of moving objects |
ENTCS
2008
14 years 11 months ago
2008
We present a Hoare-style specification and verification approach for invariants in sequential OO programs. It allows invariants over nonhierarchical object structures, in which upd...
100
Voted
AVSS
2005
IEEE
15 years 5 months ago
2005
IEEE
A framework is proposed that answers the following question: if a moving object is observed by one camera in a pan-tilt-zoom (PTZ) camera network, what other camera(s) might be fo...
77
Voted
EDBT
2008
ACM
15 years 11 months ago
2008
ACM
We consider an environment of numerous moving objects, equipped with location-sensing devices and capable of communicating with a central coordinator. In this setting, we investig...
135
click to vote
ICCV
2011
IEEE
13 years 11 months ago
2011
IEEE
This paper presents a novel multi-body multi-view stereo method to simultaneously recover dense depth maps and perform segmentation with the input of a monocular image sequence. U...
ICCV
2003
IEEE
16 years 1 months ago
2003
IEEE
Motion layer estimation has recently emerged as a promising object tracking method. In this paper, we extend previous research on layer-based tracker by introducing the concept of...