132 search results - page 4 / 27 » Integer Programming: Optimization and Evaluation Are Equival... |
128
Voted
CORR
2010
Springer
15 years 1 months ago
2010
Springer
The lift-and-project closure is the relaxation obtained by computing all lift-and-project cuts from the initial formulation of a mixed integer linear program or equivalently by co...
159
Voted
ICML
2008
IEEE
16 years 4 months ago
2008
IEEE
We consider the problem of optimizing multilabel MRFs, which is in general NP-hard and ubiquitous in low-level computer vision. One approach for its solution is to formulate it as...
134
Voted
DAC
2009
ACM
16 years 4 months ago
2009
ACM
Retiming and recycling are two transformations used to optimize the performance of latency-insensitive (a.k.a. synchronous elastic) systems. This paper presents an approach that c...
120
Voted
BMCBI
2005
15 years 3 months ago
2005
Background: We introduce GASH, a new, publicly accessible program for structural alignment and superposition. Alignments are scored by the Number of Equivalent Residues (NER), a q...
123
Voted
ICALP
2004
Springer
15 years 9 months ago
2004
Springer
We describe a simple but expressive calculus of sequential processes, represented as coroutines. We show that this calculus can be used to express a variety of programming languag...