Sciweavers

2477 search results - page 30 / 496
» Approximate extended formulations
Sort
View
DISOPT
2008
81views more  DISOPT 2008»
13 years 7 months ago
Intermediate integer programming representations using value disjunctions
We introduce a general technique to create an extended formulation of a mixed-integer program. We classify the integer variables into blocks, each of which generates a finite set ...
Matthias Köppe, Quentin Louveaux, Robert Weis...
SAT
2007
Springer
99views Hardware» more  SAT 2007»
14 years 1 months ago
Horn Upper Bounds and Renaming
Abstract. We consider the problem of computing tractable approximations to CNF formulas, extending the approach of Selman and Kautz to compute the Horn-LUB to involve renaming of v...
Marina Langlois, Robert H. Sloan, György Tur&...
AUTOMATICA
2006
82views more  AUTOMATICA 2006»
13 years 7 months ago
Control relevant estimation of plant and disturbance dynamics
Estimating models for both plant and disturbance dynamics is important in control design applications that focus on disturbance rejection. Several methods for low-order approximat...
J. Zeng, Raymond A. de Callafon
CVPR
2008
IEEE
14 years 9 months ago
Shape prior segmentation of multiple objects with graph cuts
We present a new shape prior segmentation method using graph cuts capable of segmenting multiple objects. The shape prior energy is based on a shape distance popular with level se...
Nhat Vu, B. S. Manjunath
ICCV
2005
IEEE
14 years 9 months ago
Globally Optimal Solutions for Energy Minimization in Stereo Vision Using Reweighted Belief Propagation
A wide range of low level vision problems have been formulated in terms of finding the most probable assignment of a Markov Random Field (or equivalently the lowest energy configu...
Talya Meltzer, Chen Yanover, Yair Weiss