Sciweavers

5510 search results - page 297 / 1102
» Mathematics
Sort
View
GECCO
2005
Springer
136views Optimization» more  GECCO 2005»
15 years 11 months ago
On the stationary distribution of GAs with fixed crossover probability
We analyse the convergence of a GA when the mutation probability is low and the selection pressure is high, for arbitrary crossover types and probabilities. We succeed in mathemat...
U. Chandimal de Silva, Joe Suzuki
ACRI
2004
Springer
15 years 11 months ago
Neuropercolation: A Random Cellular Automata Approach to Spatio-temporal Neurodynamics
Abstract. We outline the basic principles of neuropercolation, a generalized percolation model motivated by the dynamical properties of the neuropil, the densely interconnected neu...
Robert Kozma, Marko Puljic, Paul Balister, B&eacut...
BIRTHDAY
2004
Springer
15 years 11 months ago
Models for Data-Flow Sequential Processes
A family of mathematical models of nondeterministic data flow is introduced. These models are constructed out of sets of traces, successes, failures and divergences, cf. Hoare’s...
Mark B. Josephs
CSL
2004
Springer
15 years 11 months ago
Abstract Interpretation of Proofs: Classical Propositional Calculus
Interpretation of Proofs: Classical Propositional Calculus Martin Hyland DPMMS, Centre for Mathematical Sciences, University of Cambridge, England Representative abstract interpret...
Martin Hyland
GECCO
2004
Springer
128views Optimization» more  GECCO 2004»
15 years 11 months ago
Polynomial Approximation of Survival Probabilities Under Multi-point Crossover
Abstract. We propose an analytic approach to approximate the survival probabilities of schemata under multi-point crossover and obtain its closed form. It gives a convenient way to...
Sung-Soon Choi, Byung Ro Moon