Sciweavers

7522 search results - page 84 / 1505
» Spacing memetic algorithms
Sort
View
APN
2000
Springer
15 years 8 months ago
Efficient Symbolic State-Space Construction for Asynchronous Systems
Many techniques for the verification of reactive systems rely on the analysis of their reachable state spaces. In this paper, a new algorithm for the symbolic generation of the sta...
Gianfranco Ciardo, Gerald Lüttgen, Radu Simin...
STOC
1989
ACM
99views Algorithms» more  STOC 1989»
15 years 9 months ago
A Random Polynomial Time Algorithm for Approximating the Volume of Convex Bodies
We present a randomised polynomial time algorithm for approximating the volume of a convex body K in n-dimensional Euclidean space. The proof of correctness of the algorithm relie...
Martin E. Dyer, Alan M. Frieze, Ravi Kannan
110
Voted
ICPR
2006
IEEE
16 years 6 months ago
Line-Based Affine Invariant Object Location Using Transformation Space Decomposition
This paper presents a novel line-based affine invariant object location methodology. Our algorithm employs a new line-based transformation space decomposition technique to exploit...
Richard Yang, Yongsheng Gao
ASAP
2005
IEEE
108views Hardware» more  ASAP 2005»
15 years 10 months ago
Using Symbolic Feasibility Tests during Design Space Exploration of Heterogeneous Multi-Processor Systems
The task of automatic design space exploration of heterogeneous multi-processor systems is often tackled with Evolutionary Algorithms. In this paper, we propose a novel approach i...
Thomas Schlichter, Christian Haubelt, Frank Hannig...
151
Voted
CEC
2003
IEEE
15 years 8 months ago
Playing in continuous spaces: some analysis and extension of population-based incremental learning
- As an alternative to traditional Evolutionary Algorithms (EAs), Population-Based Incremental Learning (PBIL) maintains a probabilistic model of the best individual(s). Originally...
Bo Yuan, Marcus Gallagher