3318 search results - page 436 / 664 » The Weak Instance Model |
150
click to vote
SARA
2009
Springer
15 years 10 months ago
2009
Springer
MINLP problems are hard constrained optimization problems, with nonlinear constraints and mixed discrete continuous variables. They can be solved using a Branch-and-Bound scheme c...
201
click to vote
WEA
2010
Springer
15 years 10 months ago
2010
Springer
We present a new Feasibility Pump algorithm tailored for nonconvex Mixed Integer Nonlinear Programming problems. Differences with the previously proposed Feasibility Pump algorith...
135
click to vote
LICS
2008
IEEE
15 years 10 months ago
2008
IEEE
This paper presents a new bisimulation theory for parametric polymorphism which enables straightforward coinductive proofs of program equivalences involving existential types. The...
108
click to vote
ICC
2007
IEEE
15 years 10 months ago
2007
IEEE
— This paper proposes a new blind equalization scheme based on widely linear (WL) prediction. It permits to compensate non-minimum phase channels with or without spectral nulls, ...
105
click to vote
ICCV
2007
IEEE
15 years 10 months ago
2007
IEEE
We address image parsing in the setting of architectural scenes. Our goal is to parse an image into regions of various types such as sky, foliage, buildings, and street. Furthermo...