4385 search results - page 616 / 877 » Abstraction for Concurrent Objects |
182
click to vote
FM
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. UnifyingTheoriesofProgramming(UTP)canprovideaformalsemantic foundation not only for programming languages but also for more expressive specification languages. We believ...
150
click to vote
GECCO
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. Although evolutionary algorithms (EAs) are often successfully used for the optimization of dynamically changing objective function, there are only very few theoretical re...
156
click to vote
GECCO
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. Using a well-known cooperative coevolutionary function optimization framework, a very simple cooperative coevolutionary (1+1) EA is defined. This algorithm is investigat...
166
click to vote
GECCO
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. In this paper, we propose a new ant-based clustering algorithm called AntClust. It is inspired from the chemical recognition system of ants. In this system, the continuou...
162
click to vote
IBPRIA
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. We present a registration and retrieval algorithm of medical images. Our algorithm is oriented in a general fashion towards gray level medical images of non-rigid bodies ...