10 search results - page 1 / 2 » Valid inequalities based on the interpolation procedure |
MP
2006
13 years 4 months ago
2006
We study the interpolation procedure of Gomory and Johnson (1972), which generates cutting planes for general integer programs from facets of cyclic group polyhedra. This idea has...
TACAS
2004
Springer
13 years 10 months ago
2004
Springer
We present a method of deriving Craig interpolants from proofs in the quantifier-free theory of linear inequality and uninterpreted function symbols, and an interpolating theorem...
CADE
2009
Springer
13 years 11 months ago
2009
Springer
Abstract. The problem of computing Craig interpolants in SMT has recently received a lot of interest, mainly for its applications in formal verification. Efficient algorithms for ...
CSDA
2006
13 years 4 months ago
2006
A new procedure for estimating the mean process of a doubly stochastic Poisson process is introduced. The proposed estimation is based on monotone piecewise cubic interpolation of...
NIPS
1998
13 years 6 months ago
1998
We present a method for learning complex appearance mappings, such as occur with images of articulated objects. Traditional interpolation networks fail on this case since appearan...