Sciweavers

4131 search results - page 365 / 827
» The Generalized Max-Controlled Set Problem
Sort
View
158
Voted
ICLP
2003
Springer
15 years 10 months ago
Order and Negation as Failure
We equip ordered logic programs with negation as failure, using a simple generalization of the preferred answer set semantics for ordered programs. This extension supports a conven...
Davy Van Nieuwenborgh, Dirk Vermeir
157
Voted
CEC
2009
IEEE
15 years 9 months ago
Memory-enhanced Evolutionary Robotics: The Echo State Network Approach
— Interested in Evolutionary Robotics, this paper focuses on the acquisition and exploitation of memory skills. The targeted task is a well-studied benchmark problem, the Tolman ...
Cédric Hartland, Nicolas Bredeche, Mich&egr...
GECCO
2009
Springer
113views Optimization» more  GECCO 2009»
15 years 9 months ago
Variable size population for dynamic optimization with genetic programming
A new model of Genetic Programming with variable size population is presented in this paper and applied to the reconstruction of target functions in dynamic environments (i.e. pro...
Leonardo Vanneschi, Giuseppe Cuccu
ICANN
2001
Springer
15 years 9 months ago
Fast Training of Support Vector Machines by Extracting Boundary Data
Support vector machines have gotten wide acceptance for their high generalization ability for real world applications. But the major drawback is slow training for classification p...
Shigeo Abe, Takuya Inoue
LPNMR
2001
Springer
15 years 9 months ago
Bounded LTL Model Checking with Stable Models
In this paper bounded model checking of asynchronous concurrent systems is introduced as a promising application area for answer set programming. As the model of asynchronous syst...
Keijo Heljanko, Ilkka Niemelä