2905 search results - page 79 / 581 » Formal Memetic Algorithms |
FMCO
2006
Springer
14 years 17 days ago
2006
Springer
In this paper, we give an overview on some algorithms for learning automata. Starting with Biermann's and Angluin's algorithms, we describe some of the extensions caterin...
EUROGP
2004
Springer
14 years 19 days ago
2004
Springer
In this paper we discuss the evolution of several components of a traditional Evolutionary Algorithm, such as genotype to phenotype mappings and genetic operators, presenting a for...
ICDM
2006
IEEE
14 years 3 months ago
2006
IEEE
In this paper, we present the foundations for mining frequent tri-concepts, which extend the notion of closed itemsets to three-dimensional data to allow for mining folksonomies. ...
ICDAR
1999
IEEE
14 years 1 months ago
1999
IEEE
This paper introduces a framework for clarifying and formalizing the duplicate document detection problem. Four distinct models are presented, each with a corresponding algorithm ...
FMCAD
2006
Springer
14 years 17 days ago
2006
Springer
Abstract-- This paper describes a symbolic algorithm for overapproximating reachability in Boolean programs with unbounded thread creation. The fix-point is detected by projecting ...