Sciweavers

912 search results - page 147 / 183
» Abstract Saturation-Based Inference
Sort
View
140
Voted
EMMCVPR
2005
Springer
15 years 11 months ago
Dynamic Shape and Appearance Modeling Via Moving and Deforming Layers
Abstract. We propose a model of the shape, motion and appearance of a sequence of images that captures occlusions, scene deformations, arbitrary viewpoint variations and changes in...
Jeremy D. Jackson, Anthony J. Yezzi, Stefano Soatt...
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
151
Voted
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