3299 search results - page 335 / 660 » A general mathematics of names |
194
click to vote
EDCC
2005
Springer
16 years 7 days ago
2005
Springer
Abstract. In this paper we present the formal safety analysis of a radiobased railroad crossing. We use deductive cause-consequence analysis (DCCA) as analysis method. DCCA is a no...
162
click to vote
GECCO
2005
Springer
16 years 7 days ago
2005
Springer
We present discrete stochastic mathematical models for the growth curves of synchronous and asynchronous evolutionary algorithms with populations structured according to a random ...
176
click to vote
GECCO
2005
Springer
16 years 7 days ago
2005
Springer
The prediction of the native structures of proteins, the socalled protein folding problem, is a NP hard multi-minima optimization problem for which to date no routine solutions ex...
184
click to vote
GECCO
2005
Springer
16 years 7 days ago
2005
Springer
Genetic Algorithms (GAs) can efficiently produce high quality results for hard combinatorial real world problems such as the Vehicle Routing Problem (VRP). Genetic Vehicle Represe...
193
click to vote
GECCO
2005
Springer
16 years 7 days ago
2005
Springer
In recent years there has been a growing interest in studying evolutionary algorithms for dynamic optimization problems due to its importance in real world applications. Several a...