10891 search results - page 417 / 2179 » Combining Model Reductions |
172
click to vote
PPDP
1999
Springer
15 years 10 months ago
1999
Springer
OPL is a modeling language for mathematical programming and combinatorial optimization problems. It is the rst modeling language to combine high-level algebraic and set notations f...
146
click to vote
KBSE
2009
IEEE
16 years 26 days ago
2009
IEEE
—Abbreviation Completion is a novel technique to improve the efficiency of code-writing by supporting code completion of multiple keywords based on non-predefined abbreviated inp...
197
click to vote
PATAT
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Service network design is critical to the profitability of express shipment carriers. In this paper, we consider the problem of designing the integrated service network ...
191
Voted
EUROCOLT
1999
Springer
15 years 10 months ago
1999
Springer
We study the learnability of first order Horn expressions from equivalence and membership queries. We show that the class of expressions where every term in the consequent of a c...
143
click to vote
CAV
2008
Springer
15 years 8 months ago
2008
Springer
Ideally, a model checking tool should successfully tackle state space explosion for complete system validation, while providing short counterexamples when an error exists. Techniqu...