Sciweavers

250 search results - page 40 / 50
» Occlusion tracking using logic models
Sort
View
ECCV
2006
Springer
13 years 11 months ago
Robust 3D Segmentation of Multiple Moving Objects Under Weak Perspective
A scene containing multiple independently moving, possibly occluding, rigid objects is considered under the weak perspective camera model. We obtain a set of feature points tracke...
Levente Hajder, Dmitry Chetverikov
AVSS
2003
IEEE
14 years 20 days ago
A Scalable Image-Based Multi-Camera Visual Surveillance System
In this paper, we aim to achieve scalability and wider scene coverage through the use of multiple cameras in an outdoor visual surveillance system. Only image-based information is...
Ser-Nam Lim, Larry S. Davis, Ahmed M. Elgammal
PADS
1997
ACM
13 years 11 months ago
Optimistic Distributed Simulation Based on Transitive Dependency Tracking
In traditional optimistic distributed simulation protocols, a logical process(LP) receiving a straggler rolls back and sends out anti-messages. Receiver of an anti-message may als...
Om P. Damani, Yi-Min Wang, Vijay K. Garg
SPIN
2004
Springer
14 years 21 days ago
Model-Driven Software Verification
Abstract. In the classic approach to logic model checking, software verification requires a manually constructed artifact (the model) to be written in the language that is accepted...
Gerard J. Holzmann, Rajeev Joshi
CVPR
2008
IEEE
14 years 9 months ago
Motion segmentation via robust subspace separation in the presence of outlying, incomplete, or corrupted trajectories
We examine the problem of segmenting tracked feature point trajectories of multiple moving objects in an image sequence. Using the affine camera model, this motion segmentation pr...
René Vidal, Roberto Tron, Shankar Rao, Yi M...