663 search results - page 90 / 133 » Algorithms for Computing Minimal Unsatisfiable Subsets of Co... |
ICPR
2004
IEEE
14 years 8 months ago
2004
IEEE
In this paper, we focus on the Image Registration problem. Mathematically, this problem consists of minimizing an energy which is composed of a regularization term and a similarit...
DCC
2004
IEEE
14 years 7 months ago
2004
IEEE
We present a statistical optimization framework for solving the end-to-end problem of progressive transmission of images over noisy channels. We consider the impacts of transmissi...
ICALP
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. This paper considers the Steiner tree problem in the model of twostage stochastic optimization with recourse. This model, the focus of much recent research [1–4], tries...
ESA
2008
Springer
13 years 9 months ago
2008
Springer
Following recent interest in the study of computer science problems in a game theoretic setting, we consider the well known bin packing problem where the items are controlled by se...
SIGMOD
2009
ACM
14 years 7 months ago
2009
ACM
We demonstrate the BioNav system, a novel search interface for biomedical databases, such as PubMed. BioNav enables users to navigate large number of query results by categorizing...