3090 search results - page 232 / 618 » On Testing Answer-Set Programs |
151
click to vote
JLP
2000
15 years 6 months ago
2000
interpretation. In the context of stream parallelism, this analysis identi es an amount of input data for which predicate execution can safely wait without danger of introducing de...
229
click to vote
GECCO
2011
Springer
14 years 10 months ago
2011
Springer
—A number of representation schemes have been presented for use within Learning Classifier Systems, ranging from binary encodings to Neural Networks, and more recently Dynamical ...
243
click to vote
MMSP
2008
IEEE
16 years 24 days ago
2008
IEEE
—This paper addresses the problem of dense disparity estimation from a pair of color stereo images. Based on a convex set theoretic formulation, the stereo matching problem is ca...
177
click to vote
PPSN
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. This paper describes a new approach for parameter optimization that uses a novel representation for the parameters to be optimized. By using genetic programming, the new ...
161
click to vote
TAPIA
2003
ACM
15 years 11 months ago
2003
ACM
In this paper we present an infeasible path-following interiorpoint algorithm for solving linear programs using a relaxed notion of the central path, called quasicentral path, as ...