Sciweavers

1142 search results - page 47 / 229
» Approximability of Clausal Constraints
Sort
View
ICPR
2008
IEEE
16 years 1 months ago
Medical image segmentation via min s-t cuts with sides constraints
Graph cut algorithms (i.e., min s-t cuts) [3][10][15] are useful in many computer vision applications. In this paper we develop a formulation that allows the addition of side cons...
Jiun-Hung Chen, Linda G. Shapiro
CVBIA
2005
Springer
16 years 5 days ago
A Hybrid Framework for Image Segmentation Using Probabilistic Integration of Heterogeneous Constraints
In this paper we present a new framework for image segmentation using probabilistic multinets. We apply this framework to integration of regionbased and contour-based segmentation ...
Rui Huang, Vladimir Pavlovic, Dimitris N. Metaxas
ESOP
1999
Springer
15 years 11 months ago
Set-Based Failure Analysis for Logic Programs and Concurrent Constraint Programs
This paper presents the rst approximation method of the nite-failure set of a logic program by set-based analysis. In a dual view, the method yields a type analysis for programs wi...
Andreas Podelski, Witold Charatonik, Martin Mü...
CVPR
2009
IEEE
1696views Computer Vision» more  CVPR 2009»
17 years 1 months ago
Fast Normalized Cut with Linear Constraints
Normalized Cut is a widely used technique for solving a variety of problems. Although finding the optimal normalized cut has proven to be NP-hard, spectral relaxations can be ap...
Linli Xu (University of Alberta), Wenye Li (Univer...
CPAIOR
2005
Springer
16 years 5 days ago
Filtering Algorithms for the NValue Constraint
Abstract. The NValue constraint counts the number of different values assigned to a vector of variables. Propagating generalized arc consistency on this constraint is NP-hard. We ...
Christian Bessière, Emmanuel Hebrard, Brahi...