391 search results - page 66 / 79 » Locally Consistent Constraint Satisfaction Problems with Bin... |
APLAS
2000
ACM
13 years 11 months ago
2000
ACM
We have implemented Kima, an automated error correction system for concurrent logic programs. Kima corrects near-misses such as wrong variable occurrences in the absence of explici...
CVPR
2006
IEEE
14 years 23 days ago
2006
IEEE
Part-based tree-structured models have been widely used for 2D articulated human pose-estimation. These approaches admit efficient inference algorithms while capturing the import...
CVPR
2004
IEEE
14 years 8 months ago
2004
IEEE
We consider the problem of localizing the articulated and deformable shape of a walking person in a single view. We represent the non-rigid 2D body contour by a Bayesian graphical...
ICPR
2006
IEEE
14 years 7 months ago
2006
IEEE
Tracking multiple interacting objects represents a challenging area in computer vision. The tracking problem in general can be formulated as the task of recovering the spatio-temp...
AROBOTS
2011
13 years 1 months ago
2011
— To effectively navigate in their environments and accurately reach their target locations, mobile robots require a globally consistent map of the environment. The problem of le...