2905 search results - page 129 / 581 » Formal Memetic Algorithms |
101
Voted
ICRA
1993
IEEE
15 years 7 months ago
1993
IEEE
In this paper we introduce a formalism which combines reliability and complexity as performance measures for Intelligent Machines. For a given desired reliability, di erent algori...
140
Voted
GECCO
2006
Springer
15 years 7 months ago
2006
Springer
Metaheuristics have often been shown to be effective for difficult combinatorial optimization problems. The reason for that, however, remains unclear. A framework for a theory of ...
136
Voted
TPHOL
2003
IEEE
15 years 9 months ago
2003
IEEE
Abstract. It is well known that mathematical proofs often contain (abstract) algorithms, but although these algorithms can be understood by a human, it still takes a lot of time an...
114
Voted
STOC
2009
ACM
16 years 4 months ago
2009
ACM
We show by means of several examples that robust statistical estimators present an excellent starting point for differentially private estimators. Our algorithms use a new paradig...
176
Voted
WEA
2010
Springer
15 years 10 months ago
2010
Springer
We study the problem of finding good alternative routes in road networks. We look for routes that are substantially different from the shortest path, have small stretch, and are ...