1883 search results - page 13 / 377 » Ordered theta graphs |
CAV
1998
Springer
13 years 12 months ago
1998
Springer
bstract description of state machines (ASMs), in which data and data operations are d using abstract sort and uninterpreted function symbols. ASMs are suitable for describing Regis...
CVPR
2008
IEEE
14 years 9 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...
PAMI
2010
13 years 6 months ago
2010
— In the last decade, graph-cut optimization has been popular for a variety of labeling problems. Typically graph-cut methods are used to incorporate smoothness constraints on a ...
SWAT
2004
Springer
14 years 29 days ago
2004
Springer
The first polynomial time algorithm (O(n4 )) for modular decomposition appeared in 1972 [8] and since then there have been incremental improvements, eventually resulting in linear...
BIRTHDAY
2009
Springer
14 years 2 months ago
2009
Springer
