6800 search results - page 861 / 1360 » Testing with Functions as Specifications |
166
click to vote
GECCO
2003
Springer
16 years 4 days ago
2003
Springer
In this paper, a new model of Probabilistic Model-Building Genetic Algorithms (PMBGAs), Distributed PMBGA (DPMBGA), is proposed. In the DPMBGA, the correlation among the design var...
144
click to vote
GECCO
2003
Springer
16 years 4 days ago
2003
Springer
This paper suggests dense and switched modular primitives for a bond-graph-based GP design framework that automatically synthesizes designs for multi-domain, lumped parameter dynam...
205
click to vote
GECCO
2003
Springer
16 years 4 days ago
2003
Springer
This paper discusses a new model of parallel evolutionary algorithms (EAs) called the specialized island model (SIM) that can be used to generate a set of diverse non-dominated sol...
159
click to vote
HOLOMAS
2003
Springer
16 years 4 days ago
2003
Springer
Agent Exchange is a virtual trading environment serving as a test bed for experiments with market simulations, trading strategies and auctioning techniques. Agent Exchange is the d...
170
click to vote
IMR
2003
Springer
16 years 3 days ago
2003
Springer
A local cell quality metric is introduced and used to construct a variational functional for a grid smoothing algorithm. A maximum principle is proved and the properties of the loc...