1097 search results - page 26 / 220 » Sequential Object Monitors |
PARELEC
2002
IEEE
14 years 1 months ago
2002
IEEE
Integration of P-GRADE with Condor and parallel check-pointing results in an environment under which both interactive parallel program development and batch mode execution is poss...
PAMI
2008
13 years 8 months ago
2008
This paper describes an object detection framework that learns the discriminative co-occurrence of multiple features. Feature co-occurrences are automatically found by Sequential F...
ICMCS
2005
IEEE
14 years 2 months ago
2005
IEEE
We present a method to track and estimate the motion of a 3D object with a monocular image sequence. The problem is based on the state equations and is solved by a sequential Mont...
ENTCS
2008
13 years 8 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...
ICMCS
2007
IEEE
14 years 2 months ago
2007
IEEE
Particle filter is a sequential Monte Carlo method for object tracking in a recursive Bayesian filtering framework. The efficiency and accuracy of the particle filter depends on t...