602 search results - page 94 / 121 » Automatic Optimization for MapReduce Programs |
125
click to vote
GECCO
2008
Springer
15 years 1 months ago
2008
Springer
In this paper, a multiobjective (MO) learning approach to image feature extraction is described, where Pareto-optimal interest point (IP) detectors are synthesized using genetic p...
132
click to vote
GECCO
2009
Springer
15 years 4 months ago
2009
Springer
Nowadays, object recognition is widely studied under the paradigm of matching local features. This work describes a genetic programming methodology that synthesizes mathematical e...
104
click to vote
PLDI
2010
ACM
15 years 4 months ago
2010
ACM
Verified compilers, such as Leroy's CompCert, are accompanied by a fully checked correctness proof. Both the compiler and proof are often constructed with an interactive proo...
104
click to vote
ECOOP
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. Software systems obey the 80/20 rule: aggressively optimizing a vital few execution paths yields large speedups. However, finding the vital few paths can be difficult, e...
GECCO
2009
Springer
15 years 6 months ago
2009
Springer
Evolution has proven to be an effective method of training heterogeneous multi-agent teams of autonomous agents to explore unknown environments. Autonomous, heterogeneous agents ...