1173 search results - page 58 / 235 » Program Derivation Using Analogy |
124
Voted
DALT
2008
Springer
15 years 4 months ago
2008
Springer
Abstract. In most agent programming languages in practice a programmer is committed to the use of a single knowledge representation technology. In this paper we argue this is not n...
105
Voted
FLOPS
2010
Springer
15 years 9 months ago
2010
Springer
Disproof can be as important as proof in studying programs and programming languages. In particular, side conditions in a statement about program behavior are sometimes best unders...
130
Voted
CAV
2009
Springer
16 years 3 months ago
2009
Springer
We provide a verification technique for a class of programs working on integer arrays of finite, but not a priori bounded length. We use the logic of integer arrays SIL [13] to spe...
98
Voted
PADL
2001
Springer
15 years 7 months ago
2001
Springer
The goal of this project is to develop solutions to enhance interoperability between bioinformatics applications. Most existing applications adopt different data formats, forcing ...
113
click to vote
JGO
2008
15 years 2 months ago
2008
Two-stage stochastic mixed-integer programming (SMIP) problems with recourse are generally difficult to solve. This paper presents a first computational study of a disjunctive cut...