914 search results - page 7 / 183 » Analysis of Heuristic Synergies |
GECCO
2005
Springer
15 years 3 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 ...
178
click to vote
POPL
2008
ACM
15 years 9 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...
81
Voted
SOFSEM
2009
Springer
15 years 6 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...
79
Voted
ATVA
2006
Springer
15 years 1 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
15 years 4 months ago
2009
Springer