1160 search results - page 32 / 232 » A Colour Object Search Algorithm |
145
Voted
ICDCS
2008
IEEE
15 years 9 months ago
2008
IEEE
A multi-object operation incurs communication or synchronization overhead when the requested objects are distributed over different nodes. The object pair correlations (the probab...
120
click to vote
HVC
2005
Springer
15 years 8 months ago
2005
Springer
We present several algorithms for simultaneous SAT (propositional satisfiability) based model checking of safety properties. More precisely, we focus on Bounded Model Checking and ...
124
click to vote
ICPR
2004
IEEE
16 years 3 months ago
2004
IEEE
It is common in object recognition algorithms based on viewpoint consistency to find object poses that align many of the object features with features extracted from a search imag...
153
click to vote
CVPR
2010
IEEE
15 years 10 months ago
2010
IEEE
Detecting objects in cluttered scenes and estimating articulated human body parts are two challenging problems in computer vision. The difficulty is particularly pronounced in ac...
109
click to vote
MTV
2003
IEEE
15 years 7 months ago
2003
IEEE
In recent years backtrack search SAT solvers have been the subject of dramatic improvements. These improvements allowed SAT solvers to successfully replace BDDs in many areas of f...