850 search results - page 119 / 170 » Constraint propagation on quadratic constraints |
ICCV
2003
IEEE
14 years 9 months ago
2003
IEEE
Inspired by tensor voting, we present luminance voting, a novel approach for image registration with global and local luminance alignment. The key to our modeless approach is the ...
DAC
2006
ACM
14 years 8 months ago
2006
ACM
Design and verification of systems at the Register-Transfer (RT) or behavioral level require the ability to reason at higher levels of abstraction. Difference logic consists of an...
CVPR
2010
IEEE
14 years 4 months ago
2010
IEEE
We present an imaging framework to acquire 3D surface scans at ultra high-resolutions (exceeding 600 samples per mm2 ). Our approach couples a standard structured-light setup and ...
PAKDD
2009
ACM
14 years 2 months ago
2009
ACM
Abstract. Clustering high dimensional data with sparse features is challenging because pairwise distances between data items are not informative in high dimensional space. To addre...
DATE
2007
IEEE
14 years 2 months ago
2007
IEEE
We propose a robust circuit-based Boolean Satisfiability (SAT) solver, QuteSAT, that can be applied to complex circuit netlist structure. Several novel techniques are proposed in ...