Sciweavers

1096 search results - page 172 / 220
» Abstract Canonical Inference
Sort
View
EUROGP
2005
Springer
15 years 11 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 11 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 11 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 11 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 11 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