Sciweavers

170 search results - page 4 / 34
» Properties and Applications of Programs with Monotone and Co...
Sort
View
CORR
2011
Springer
115views Education» more  CORR 2011»
12 years 11 months ago
SAT-Based Termination Analysis Using Monotonicity Constraints over the Integers
ibe an algorithm for proving termination of programs abstracted to systems of monotonicity constraints in the integer domain. Monotonicity constraints are a non-trivial extension ...
Michael Codish, Igor Gonopolskiy, Amir M. Ben-Amra...
ICPR
2008
IEEE
14 years 8 months ago
Image segmentation by convex quadratic programming
A quadratic programming formulation for multiclass image segmentation is investigated. It is proved that, in the convex case, the non-negativity constraint on the recent reported ...
Mariano Rivera, Oscar Dalmau Cedeño, Josue ...
MMSP
2008
IEEE
245views Multimedia» more  MMSP 2008»
14 years 1 months ago
A convex programming approach for color stereo matching
—This paper addresses the problem of dense disparity estimation from a pair of color stereo images. Based on a convex set theoretic formulation, the stereo matching problem is ca...
Wided Miled, Béatrice Pesquet-Popescu, Jean...
SIAMMA
2010
81views more  SIAMMA 2010»
13 years 2 months ago
Heteroclinic Travelling Waves in Convex FPU-Type Chains
We consider infinite FPU-type atomic chains with general convex potentials and study the existence of monotone fronts that are heteroclinic travelling waves connecting constant asy...
Michael Herrmann, Jens D. M. Rademacher
COCOS
2003
Springer
148views Optimization» more  COCOS 2003»
14 years 20 days ago
Convex Programming Methods for Global Optimization
We investigate some approaches to solving nonconvex global optimization problems by convex nonlinear programming methods. We assume that the problem becomes convex when selected va...
John N. Hooker