12272 search results - page 287 / 2455 » Experimental program analysis |
198
click to vote
SUM
2007
Springer
16 years 23 days ago
2007
Springer
Abstract. We present the Consistency Extractor System (ConsEx) that uses answer set programming to compute consistent answers to first-order queries posed to relational databases ...
146
click to vote
INAP
2005
Springer
16 years 4 days ago
2005
Springer
Abstract. This article merges two approaches: one dealing with persistence for logic programs, as provided by a relational database back-end and another which addresses the issues ...
146
click to vote
KI
2004
Springer
16 years 7 hour ago
2004
Springer
In this paper we present a new model of Java programs. We show how a program can be compiled into the model. The model can be directly used by a model-based diagnosis engine in ord...
161
click to vote
GECCO
1999
Springer
15 years 11 months ago
1999
Springer
In genetic programming a general consensus is that the population should be as large as practically possible or sensible. In this paper we examine a batch of problems of combinato...
187
click to vote
CPAIOR
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. We present a theoretical study on the idea of using mathematical programming relaxations for filtering binary constraint satisfaction problems. We introduce the consisten...