469 search results - page 19 / 94 » Genetic Programming with Fitness Based on Model Checking |
GECCO
2008
Springer
13 years 8 months ago
2008
Springer
Motivated by the ability of living cells to form specific shapes and structures, we present a computational approach using distributed genetic programming to discover cell-cell i...
CSREASAM
2010
13 years 4 months ago
2010
Nowadays, Network Intrusion Detection Systems are quickly updated in order to prevent systems against new attacks. This situation has provoked that attackers focus their efforts on...
GECCO
2007
Springer
14 years 1 months ago
2007
Springer
The brain has long been seen as a powerful analogy from which novel computational techniques could be devised. However, most artificial neural network approaches have ignored the...
CADE
2008
Springer
14 years 8 months ago
2008
Springer
Abstract. We introduce the notion of array-based system as a suittraction of infinite state systems such as broadcast protocols or sorting programs. By using a class of quantified-...
APIN
1998
13 years 7 months ago
1998
Process algebra are formal languages used for the rigorous specification and analysis of concurrent systems. By using a process algebra as the target language of a genetic program...