9 search results - page 1 / 2 » Leveraging domain-expert knowledge in a genetic algorithm fo... |
GECCO
2006
Springer
13 years 8 months ago
2006
Springer
IEEEVAST
2010
12 years 11 months ago
2010
Optimization problems are typically addressed by purely automatic approaches. For multi-objective problems, however, a single best solution often does not exist. In this case, it ...
GECCO
2006
Springer
13 years 8 months ago
2006
Springer
An automated design synthesis system based on a multi-objective genetic algorithm (MOGA) has been developed for the optimization of surface-micromachined MEMS devices. A hierarchi...
SIGSOFT
2003
ACM
14 years 5 months ago
2003
ACM
Model checking is emerging as a popular technology for reasoning about behavioral properties of a wide variety of software artifacts including: requirements models, architectural ...
GECCO
2009
Springer
13 years 11 months ago
2009
Springer
Software testing can be re-formulated as a search problem, hence search algorithms (e.g., Genetic Algorithms) can be used to tackle it. Most of the research so far has been of emp...