1133 search results - page 41 / 227 » Basics of Graph Cuts |
59
Voted
CVPR
2005
IEEE
15 years 11 months ago
2005
IEEE
68
Voted
CVPR
2008
IEEE
15 years 11 months 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
15 years 11 months ago
2007
IEEE
75
Voted
ICPR
2004
IEEE
15 years 10 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
15 years 10 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...