219 search results - page 35 / 44 » Symmetries of Symmetry Breaking Constraints |
140
Voted
DC
2010
15 years 1 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,...
115
click to vote
ASPDAC
2005
ACM
15 years 7 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...
115
click to vote
ICCV
2005
IEEE
16 years 3 months 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 ...
142
click to vote
ICPR
2004
IEEE
16 years 2 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...
94
Voted
CVPR
2010
IEEE
15 years 10 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...