219 search results - page 35 / 44 » Symmetries of Symmetry Breaking Constraints |
DC
2010
13 years 10 months ago
2010
We present a novel distributed algorithm for the maximal independent set (MIS) problem.1 On bounded-independence graphs (BIG) our deterministic algorithm finishes in O(log n) time,...
ASPDAC
2005
ACM
14 years 3 months ago
2005
ACM
With impressive progress in Boolean Satisfiability (SAT) solving and several extensions to pseudo-Boolean (PB) constraints, many applications that use SAT, such as highperformanc...
ICCV
2005
IEEE
15 years 3 days ago
2005
IEEE
The human vision system can interpret a single 2D line drawing as a 3D object without much difficulty even if the hidden lines of the object are invisible. Several reconstruction ...
ICPR
2004
IEEE
14 years 11 months ago
2004
IEEE
The problem of eye detection in face images is very important for a large number of applications ranging from face recognition to gaze tracking. In this paper we propose a new alg...
CVPR
2010
IEEE
14 years 6 months ago
2010
IEEE
Building robust low and mid-level image representations, beyond edge primitives, is a long-standing goal in vision. Many existing feature detectors spatially pool edge information...