7961 search results - page 307 / 1593 » Input-Output Model Programs |
141
click to vote
ESA
2006
Springer
15 years 8 months ago
2006
Springer
A popular approach in combinatorial optimization is to model problems as integer linear programs. Ideally, the relaxed linear program would have only integer solutions, which happ...
181
click to vote
EMNLP
2006
15 years 6 months ago
2006
Integer Linear Programming has recently been used for decoding in a number of probabilistic models in order to enforce global constraints. However, in certain applications, such a...
177
Voted
AIME
2011
Springer
14 years 4 months ago
2011
Springer
This paper describes a novel methodological approach to identifying inconsistencies when concurrently using multiple clinical practice guidelines. We discuss how to construct a for...
107
click to vote
DAC
2004
ACM
16 years 5 months ago
2004
ACM
We present a method for designing operational amplifiers using reversed geometric programming, which is an extension of geometric programming that allows both convex and non-conve...
125
Voted
PEPM
2009
ACM
16 years 1 months ago
2009
ACM
Program interpolation is a new type of transformation that given an input program written in a specially constructed Domain Specific Language (DSL), produces a family of function...