Sciweavers

15754 search results - page 708 / 3151
» Programs are Knowledge Bases
Sort
View
GECCO
2004
Springer
16 years 26 days ago
Fitness Clouds and Problem Hardness in Genetic Programming
This paper presents an investigation of genetic programming fitness landscapes. We propose a new indicator of problem hardness for tree-based genetic programming, called negative ...
Leonardo Vanneschi, Manuel Clergue, Philippe Colla...
ICLP
2004
Springer
16 years 26 days ago
Possible Worlds Semantics for Probabilistic Logic Programs
Abstract. In this paper we consider a logic programming framework for reasoning about imprecise probabilities. In particular, we propose a new semantics, for the Probabilistic Logi...
Alex Dekhtyar, Michael I. Dekhtyar
LOPSTR
2004
Springer
16 years 26 days ago
Proving Termination for Logic Programs by the Query-Mapping Pairs Approach
This paper describes a method for proving termination of to logic programs based on abstract interpretation. The method ry-mapping pairs to abstract the relation between calls in t...
Naomi Lindenstrauss, Yehoshua Sagiv, Alexander Ser...
HICSS
2002
IEEE
112views Biometrics» more  HICSS 2002»
16 years 13 days ago
Investigating Telemedicine Developments in Taiwan: Implications for Telemedicine Program Management
Telemedicine development in Taiwan has proliferated considerably since the 1990s, as manifested by its inclusion as a core application area in the National Infrastructure Initiati...
Paul Jen-Hwa Hu, Chih-Ping Wei, Tsang-Hsiang Cheng
GECCO
2009
Springer
113views Optimization» more  GECCO 2009»
16 years 3 days 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