433 search results - page 47 / 87 » Generalized Ham-Sandwich Cuts |
132
click to vote
JAR
2010
15 years 12 days ago
2010
Meta-logics and type systems based on intuitionistic logic are commonly used for specifying natural deduction proof systems. We shall show here that linear logic can be used as a m...
144
click to vote
ECCV
2008
Springer
16 years 7 days ago
2008
Springer
Monte Carlo methods and their subsequent simulated annealing are able to minimize general energy functions. However, the slow convergence of simulated annealing compared with more ...
125
click to vote
FOCS
2005
IEEE
15 years 7 months ago
2005
IEEE
Robust optimization has traditionally focused on uncertainty in data and costs in optimization problems to formulate models whose solutions will be optimal in the worstcase among ...
MP
2006
15 years 1 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...
CVPR
2007
IEEE
16 years 4 months ago
2007
IEEE
Effective image prior is necessary for image super resolution, due to its severely under-determined nature. Although the edge smoothness prior can be effective, it is generally di...