Sciweavers

725 search results - page 128 / 145
» Intelligent Techniques in Stock Analysis
Sort
View
TPHOL
2009
IEEE
14 years 2 months ago
Formalising Observer Theory for Environment-Sensitive Bisimulation
Abstract. We consider a formalisation of a notion of observer (or intruder) theories, commonly used in symbolic analysis of security protocols. An observer theory describes the kno...
Jeremy E. Dawson, Alwen Tiu
EUROGP
2009
Springer
108views Optimization» more  EUROGP 2009»
14 years 2 months ago
Why Coevolution Doesn't "Work": Superiority and Progress in Coevolution
Coevolution often gives rise to counter-intuitive dynamics that defy our expectations. Here we suggest that much of the confusion surrounding coevolution results from imprecise not...
Thomas Miconi
GECCO
2007
Springer
162views Optimization» more  GECCO 2007»
14 years 1 months ago
A multi-objective approach to discover biclusters in microarray data
The main motivation for using a multi–objective evolutionary algorithm for finding biclusters in gene expression data is motivated by the fact that when looking for biclusters ...
Federico Divina, Jesús S. Aguilar-Ruiz
GECCO
2007
Springer
392views Optimization» more  GECCO 2007»
14 years 1 months ago
Electronic synthesis using genetic algorithms for automatic music transcription
This paper presents a novel approach to the problem of automatic music transcription using electronic synthesis with genetic algorithms. Although the problem is well known and di...
Gustavo Reis, Francisco Fernández de Vega
GECCO
2007
Springer
345views Optimization» more  GECCO 2007»
14 years 1 months ago
A novel approach to automatic music transcription using electronic synthesis and genetic algorithms
This paper presents a novel approach to the problem of automatic music transcription using electronic synthesis with genetic algorithms. Although the problem is well known and di...
Gustavo Reis, Francisco Fernández de Vega