1641 search results - page 236 / 329 » Termination Analysis with Algorithmic Learning |
92
Voted
VMCAI
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. It is a hotly researching topic to eliminate irrelevant variables from counterexample, to make it easier to be understood. K Ravi proposes a two-stages counterexample min...
121
click to vote
CORR
2011
Springer
14 years 4 months ago
2011
Springer
Eigenvectors of data matrices play an important role in many computational problems, ranging from signal processing to machine learning and control. For instance, algorithms that ...
97
Voted
GECCO
2007
Springer
15 years 6 months ago
2007
Springer
The use of machine learning techniques to automatically analyse data for information is becoming increasingly widespread. In this paper we examine the use of Genetic Programming a...
GECCO
2010
Springer
15 years 5 months ago
2010
Springer
Niching schemes, which sustain population diversity and let an evolutionary population avoid premature convergence, have been extensively studied in the research field of evoluti...
110
click to vote
GECCO
2006
Springer
15 years 4 months ago
2006
Springer
Though recent analysis of traditional cooperative coevolutionary algorithms (CCEAs) casts doubt on their suitability for static optimization tasks, our experience is that the algo...