Sciweavers

1722 search results - page 49 / 345
» Guided Genetic Programming
Sort
View
ICDAR
2003
IEEE
14 years 1 months ago
Unsupervised Feature Selection Using Multi-Objective Genetic Algorithms for Handwritten Word Recognition
In this paper a methodology for feature selection in unsupervised learning is proposed. It makes use of a multiobjective genetic algorithm where the minimization of the number of ...
Marisa E. Morita, Robert Sabourin, Flávio B...
PPSN
2000
Springer
13 years 11 months ago
Using Dynastic Exploring Recombination to Promote Diversity in Genetic Search
A family of recombination operators is studied in this work. These operators are based on keeping and using certain information about the past evolution of the algorithm to guide t...
Carlos Cotta, José M. Troya
ICALP
2010
Springer
13 years 9 months ago
Example-Guided Abstraction Simplification
Guided Abstraction Simplification Roberto Giacobazzi1 and Francesco Ranzato2 1 University of Verona, Italy 2 University of Padova, Italy Abstract. In static analysis, approximation...
Roberto Giacobazzi, Francesco Ranzato
ESOP
2007
Springer
14 years 2 months ago
A Complete Guide to the Future
Abstract We present the semantics and proof system for an objectoriented language with active objects, asynchronous method calls, and futures. The language, based on Creol, disting...
Frank S. de Boer, Dave Clarke, Einar Broch Johnsen
CORR
2008
Springer
113views Education» more  CORR 2008»
13 years 8 months ago
A Functional Hitchhiker's Guide to Hereditarily Finite Sets, Ackermann Encodings and Pairing Functions
The paper is organized as a self-contained literate Haskell program that implements elements of an executable finite set theory with focus on combinatorial generation and arithmet...
Paul Tarau