4491 search results - page 191 / 899 » Algorithm Engineering |
GECCO
2005
Springer
15 years 8 months ago
2005
Springer
In this paper, we describe the use of an evolutionary algorithm (EA) to solve dynamic control optimization problems in engineering. In this class of problems, a set of control var...
103
click to vote
SCAM
2008
IEEE
15 years 8 months ago
2008
IEEE
Traditional mutation testing considers only first order mutants, created by the injection of a single fault. Often these first order mutants denote trivial faults that are easil...
119
click to vote
VMCAI
2007
Springer
15 years 8 months ago
2007
Springer
Interpolation is an important component of recent methods for program verification. It provides a natural and effective means for computing separation between the sets of ‘good...
158
Voted
SOCO
2012
Springer
13 years 10 months ago
2012
Springer
Abstract Population-based meta-heuristics are algorithms that can obtain very good results for complex continuous optimization problems in a reduced amount of time. These search al...
116
click to vote
WAIM
2010
Springer
15 years 6 days ago
2010
Springer
SimRank has been considered as one of the promising link-based ranking algorithms to evaluate similarities of web documents in many modern search engines. In this paper, we investi...