666 search results - page 40 / 134 » Unbalanced Graph Cuts |
CVPR
2008
IEEE
15 years 1 days ago
2008
IEEE
In the last decade, graph-cut optimization has been popular for a variety of pixel labeling problems. Typically graph-cut methods are used to incorporate a smoothness prior on a l...
ICCV
2007
IEEE
14 years 12 months ago
2007
IEEE
ICPR
2004
IEEE
14 years 11 months ago
2004
IEEE
This paper is concerned with the problem of dynamically reconstructing the 3D surface of an object undergoing non-rigid motion. The problem is cast as reconstructing a continuous ...
DAC
2009
ACM
14 years 11 months ago
2009
ACM
Boolean satisfiability (SAT) solvers are used heavily in hardware and software verification tools for checking satisfiability of Boolean formulas. Most state-of-the-art SAT solver...
ACCV
2009
Springer
14 years 4 months ago
2009
Springer
