1173 search results - page 58 / 235 » Program Derivation Using Analogy |
140
click to vote
DALT
2008
Springer
15 years 6 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...
123
click to vote
FLOPS
2010
Springer
15 years 11 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...
149
Voted
CAV
2009
Springer
16 years 5 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...
114
Voted
PADL
2001
Springer
15 years 9 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 ...
146
Voted
JGO
2008
15 years 4 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...