3233 search results - page 21 / 647 » Validation Method for Intelligent Systems |
EVOW
2009
Springer
14 years 2 months ago
2009
Springer
We apply evolutionary computation to calibrate the parameters of a morphogenesis model of Drosophila early development. The model aims to describe the establishment of the steady g...
MODELS
2009
Springer
14 years 1 months ago
2009
Springer
A well known challenge in the formal methods domain is to improve their integration with practical engineering methods. In the context of embedded systems, model checking requires ...
GECCO
2008
Springer
13 years 8 months ago
2008
Springer
We attack the problem of game balancing by using a coevolutionary algorithm to explore the space of possible game strategies and counter strategies. We define balanced games as g...
ENGL
2008
13 years 7 months ago
2008
This paper presents an intelligent decision support system (DSS) for facilitating the adoption of the most appropriate multicriteria analysis (MA) method in solving the information...
LCTRTS
2000
Springer
13 years 11 months ago
2000
Springer
This paper presents a general approach to automatically validate code-improving transformations on low-level program representations. The approach ensures the correctness of compi...