7522 search results - page 144 / 1505 » Spacing memetic algorithms |
112
Voted
FMICS
2009
Springer
15 years 7 months ago
2009
Springer
We describe a dynamic partitioning scheme usable by model checking techniques that divide the state space into partitions, such as most external memory and distributed model checki...
106
Voted
ISMM
2009
Springer
15 years 7 months ago
2009
Springer
The aim of this paper is to propose efficient tools for analysing shape families using morphological operators. The developments include the definition of shape statistics (mean a...
76
Voted
EVOW
2004
Springer
15 years 6 months ago
2004
Springer
This paper presents the current state in an ongoing development of the Emonic Environment (EE): a real-time improvisational system employing evolutionary principles for the mutatio...
118
Voted
ZUM
1998
Springer
15 years 4 months ago
1998
Springer
We contrast using a notation extension with using a combination of notations. Specifically, we compare the use of an extended dialect of Z [10] with a combination of Z and predicat...
105
Voted
ICASSP
2009
IEEE
14 years 10 months ago
2009
IEEE
We use the theory and algorithms developed for so-called shiftinvariant spaces to develop a novel distributed architecture for sampling and reconstructing non-bandlimited fields i...