Sciweavers

1133 search results - page 22 / 227
» Basics of Graph Cuts
Sort
View
JCT
2006
64views more  JCT 2006»
13 years 7 months ago
Every 3-connected, essentially 11-connected line graph is Hamiltonian
Thomassen conjectured that every 4-connected line graph is hamiltonian. A vertex cut X of G is essential if G-X has at least two nontrivial components. We prove that every 3-conne...
Hong-Jian Lai, Yehong Shao, Hehui Wu, Ju Zhou
DAC
1997
ACM
13 years 12 months ago
Equivalence Checking Using Cuts and Heaps
This paper presents a verification technique which is specifically targeted to formally comparing large combinational circuits with some structural similarities. The approach co...
Andreas Kuehlmann, Florian Krohm
DATE
2005
IEEE
138views Hardware» more  DATE 2005»
13 years 9 months ago
BB-GC: Basic-Block Level Garbage Collection
Memory space limitation is a serious problem for many embedded systems from diverse application domains. While circuit/packaging techniques are definitely important to squeeze la...
Ozcan Ozturk, Mahmut T. Kandemir, Mary Jane Irwin
ICCV
2009
IEEE
15 years 19 days ago
Higher-Order Gradient Descent by Fusion-Move Graph Cut
Markov Random Field is now ubiquitous in many formulations of various vision problems. Recently, optimization of higher-order potentials became practical using higherorder graph...
Hiroshi Ishikawa
CVPR
2004
IEEE
14 years 9 months ago
Segment-Based Stereo Matching Using Graph Cuts
In this paper, we present a new segment-based stereo matching algorithm using graph cuts. In our approach, the reference image is divided into non-overlapping homogeneous segments...
Li Hong, George Chen