Sciweavers

14809 search results - page 2626 / 2962
» Model transformation by demonstration
Sort
View
FM
2006
Springer
113views Formal Methods» more  FM 2006»
15 years 11 months ago
Interface Input/Output Automata
We propose a new look at one of the most fundamental types of behavioral interfaces: discrete time specifications of communication--directly related to the work of de Alfaro and H...
Kim Guldstrand Larsen, Ulrik Nyman, Andrzej Wasows...
GECCO
2006
Springer
222views Optimization» more  GECCO 2006»
15 years 11 months ago
High-order punishment and the evolution of cooperation
The Prisoner's Dilemma and the Public Goods Game are models to study mechanisms leading to the evolution of cooperation. From a simplified rational and egoistic perspective t...
Bastian Baranski, Thomas Bartz-Beielstein, Rü...
GECCO
2006
Springer
179views Optimization» more  GECCO 2006»
15 years 11 months ago
Parisian evolution with honeybees for three-dimensional reconstruction
This paper introduces a novel analogy with the way in which honeybee colonies operate in order to solve the problem of sparse and quasi dense reconstruction. To successfully solve...
Gustavo Olague, Cesar Puente
GECCO
2006
Springer
164views Optimization» more  GECCO 2006»
15 years 11 months ago
Adaptation for parallel memetic algorithm based on population entropy
In this paper, we propose the island model parallel memetic algorithm with diversity-based dynamic adaptive strategy (PMADLS) for controlling the local search frequency and demons...
Jing Tang, Meng-Hiot Lim, Yew-Soon Ong
CCGRID
2001
IEEE
15 years 11 months ago
xBSP: An Efficient BSP Implementation for clan
Virtual Interface Architecture(VIA) is a light-weight protocol for protected user-level zero-copy communication. In spite of high performance of VIA, the previous MPI implementati...
Yang-Suk Kee, Soonhoi Ha
« Prev « First page 2626 / 2962 Last » Next »