Sciweavers

1061 search results - page 120 / 213
» Natural Selection in Relation to Complexity
Sort
View
BIOSYSTEMS
2008
129views more  BIOSYSTEMS 2008»
13 years 9 months ago
Reconstruction of DNA sequences using genetic algorithms and cellular automata: Towards mutation prediction?
Change of DNA sequence that fuels evolution is, to a certain extent, a deterministic process because mutagenesis does not occur in an absolutely random manner. So far, it has not ...
Ch. Mizas, Georgios Ch. Sirakoulis, Vasilios A. Ma...
CVPR
2005
IEEE
14 years 11 months ago
Hierarchical Part-Based Visual Object Categorization
We propose a generative model that codes the geometry and appearance of generic visual object categories as a loose hierarchy of parts, with probabilistic spatial relations linkin...
Guillaume Bouchard, Bill Triggs
HASKELL
2005
ACM
14 years 2 months ago
Verifying haskell programs using constructive type theory
Proof assistants based on dependent type theory are closely related to functional programming languages, and so it is tempting to use them to prove the correctness of functional p...
Andreas Abel, Marcin Benke, Ana Bove, John Hughes,...
PPSWR
2004
Springer
14 years 2 months ago
Calendrical Calculations with Time Partitionings and Fuzzy Time Intervals
This paper presents a piece in a big mosaic which consists of formalisms and software packages for representing and reasoning with everyday temporal notions. The kernel of the mosa...
Hans Jürgen Ohlbach
COLT
2003
Springer
14 years 2 months ago
Learning from Uncertain Data
The application of statistical methods to natural language processing has been remarkably successful over the past two decades. But, to deal with recent problems arising in this ï¬...
Mehryar Mohri