Sciweavers

1096 search results - page 172 / 220
» Abstract Canonical Inference
Sort
View
EUROGP
2005
Springer
15 years 3 months ago
Evolving L-Systems to Capture Protein Structure Native Conformations
Abstract. A protein is a linear chain of amino acids that folds into a unique functional structure, called its native state. In this state, proteins show repeated substructures lik...
Gabi Escuela, Gabriela Ochoa, Natalio Krasnogor
ICLP
2005
Springer
15 years 3 months ago
Nondeterminism Analysis of Functional Logic Programs
Abstract. Information about the nondeterminism behavior of a functional logic program is important for various reasons. For instance, a nondeterministic choice in I/O operations re...
Bernd Braßel, Michael Hanus
ICLP
2005
Springer
15 years 3 months ago
Towards Implementations for Advanced Equivalence Checking in Answer-Set Programming
Abstract. In recent work, a general framework for specifying program correspondences under the answer-set semantics has been defined. The framework allows to define different not...
Hans Tompits, Stefan Woltran
IDEAL
2005
Springer
15 years 3 months ago
Co-evolutionary Rule-Chaining Genetic Programming
Abstract. A novel Genetic Programming (GP) paradigm called Coevolutionary Rule-Chaining Genetic Programming (CRGP) has been proposed to learn the relationships among attributes rep...
Wing-Ho Shum, Kwong-Sak Leung, Man Leung Wong
ISNN
2005
Springer
15 years 3 months ago
Lidar Signal Processing for Under-Water Object Detection
Abstract. This paper presents Artificial Neural Network (ANN) based architecture for underwater object detection from Light Detection And Ranging (Lidar) data. Lidar gives a sequen...
Vikramjit Mitra, Chia-Jiu Wang, Satarupa Banerjee