20197 search results - page 3458 / 4040 » Comparing Computational Power |
153
click to vote
FOSSACS
2007
Springer
16 years 19 days ago
2007
Springer
We give logical characterizations of bisimulation relations for the probabilistic automata of Segala in terms of three Hennessy-Milner style logics. The three logics characterize s...
175
click to vote
GECCO
2007
Springer
16 years 19 days ago
2007
Springer
Adaptive Memetic Algorithms couple an evolutionary algorithm with a number of local search heuristics for improving the evolving solutions. They are part of a broad family of meta...
207
click to vote
GECCO
2007
Springer
16 years 19 days ago
2007
Springer
This paper introduces a method for clustering complex and linearly non-separable datasets, without any prior knowledge of the number of naturally occurring clusters. The proposed ...
149
click to vote
GECCO
2007
Springer
16 years 19 days ago
2007
Springer
In many industrial applications the need for an efficient and high-quality reconstruction of free-form surfaces does exist. Surface Reconstruction – the generation of CAD models...
153
click to vote
GECCO
2007
Springer
16 years 19 days ago
2007
Springer
A survey of niching algorithms, based on 5 variants of derandomized Evolution Strategies (ES), is introduced. This set of niching algorithms, ranging from the very first derandom...