2205 search results - page 45 / 441 » Mutation Operators for Specifications |
UTP
2010
13 years 5 months ago
2010
Abstract. The Unifying Theories of Programming underpins the development of Circus, a state-rich process algebra for refinement. We have previously presented a theory of testing fo...
GECCO
2003
Springer
14 years 1 months ago
2003
Springer
By applying the schema theorem, we study the effects of crossover in Genetic Algorithms with the multiplicative fitness function. On this landscape, the analytical expression of ...
ICES
2003
Springer
14 years 1 months ago
2003
Springer
This paper proposes a coprocessor architecture to speed up hardware evolution. It is designed to be implemented in an FPGA with an integrated microprocessor core. The coprocessor r...
FLAIRS
2006
13 years 9 months ago
2006
In this paper, we apply artificial neural networks to control the targeting system of a robotic tank in a tank-combat computer game (RoboCode). We suggest an algorithm that not on...
LFP
1994
13 years 9 months ago
1994
We have implemented a concurrent copying garbage collector that uses replicatinggarbage collection. In our design, the client can continuously access the heap during garbage colle...