469 search results - page 70 / 94 » Genetic Programming with Fitness Based on Model Checking |
LION
2010
Springer
14 years 14 days ago
2010
Springer
We demonstrate a means of knowledge discovery through feature extraction that exploits the search history of an optimization run. We regress a symbolic model ensemble from optimiza...
GECCO
2004
Springer
14 years 1 months ago
2004
Springer
To create a realistic environment, some simulations require simulated agents with human behavior pattern. Creating such agents with realistic behavior can be a tedious and time con...
CORR
2004
Springer
13 years 7 months ago
2004
Springer
: Security of computers and the networks that connect them is increasingly becoming of great significance. Computer security is defined as the protection of computing systems again...
OOPSLA
2004
Springer
14 years 1 months ago
2004
Springer
This paper presents the design of G, a new language specifically created for generic programming. We review and identify important language features of C++ and Haskell in light o...
BIBM
2008
IEEE
14 years 2 months ago
2008
IEEE
Using microarray technology for genetic analysis in biological experiments requires computationally intensive tools to interpret results. The main objective here is to develop a ...