914 search results - page 7 / 183 » Analysis of Heuristic Synergies |
GECCO
2005
Springer
14 years 4 months ago
2005
Springer
Designing efficient sorting networks has been a challenging combinatorial optimization problem since the early 1960’s. The application of evolutionary computing to this problem ...
POPL
2008
ACM
14 years 11 months ago
2008
ACM
Relevance heuristics allow us to tailor a program analysis to a particular property to be verified. This in turn makes it possible to improve the precision of the analysis where n...
SOFSEM
2009
Springer
14 years 7 months ago
2009
Springer
Abstract. Computational mechanism design (CMD) seeks to understand how to design game forms that induce desirable outcomes in multiagent systems despite private information, self-i...
ATVA
2006
Springer
14 years 2 months ago
2006
Springer
Chaining can reduce the number of iterations required for symbolic state-space generation and model-checking, especially in Petri nets and similar asynchronous systems, but require...
IWPEC
2009
Springer
14 years 5 months ago
2009
Springer