715 search results - page 43 / 143 » Automatic Programming for Sequence Control |
120
click to vote
PPDP
1999
Springer
15 years 6 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...
104
click to vote
PLDI
2005
ACM
15 years 7 months ago
2005
ACM
Faults that occur in production systems are the most important faults to fix, but most production systems lack the debugging facilities present in development environments. TraceB...
101
click to vote
CSL
1995
Springer
15 years 5 months ago
1995
Springer
In this paper we propose to extend the current capabilities of automated reasoning systems by making use of techniques from integer programming. We describe the architecture of an ...
115
click to vote
JLP
2007
15 years 1 months ago
2007
Several induction theorem provers were developed to verify functional programs mechanically. Unfortunately, automatic verification often fails for functions with accumulating arg...
115
click to vote
IAAI
2003
15 years 3 months ago
2003
Large-scale systems for information extraction include many different classifiers and extractors. Experience in building such systems shows that finding an appropriate architect...