Sciweavers

1795 search results - page 155 / 359
» Search by strategy
Sort
View
GECCO
2009
Springer
150views Optimization» more  GECCO 2009»
15 years 11 months ago
Benchmarking a BI-population CMA-ES on the BBOB-2009 function testbed
We propose a multistart CMA-ES with equal budgets for two interlaced restart strategies, one with an increasing population size and one with varying small population sizes. This B...
Nikolaus Hansen
ECAI
1998
Springer
15 years 10 months ago
A Knowledge-theoretic Approach to Distributed Problem Solving
Traditional approaches to distributed problem solving have treated the problem as one of distributed search. In this paper, we propose an alternative, logic-based view of distribut...
Michael Wooldridge
KI
2007
Springer
16 years 19 days ago
Inductive Synthesis of Recursive Functional Programs
Abstract. We compare three systems for the task of synthesising functional recursive programs, namely Adate, an approach through evolutionary computation, the classification learn...
Martin Hofmann 0008, Andreas Hirschberger, Emanuel...
SCAM
2007
IEEE
16 years 23 days ago
Finding Inputs that Reach a Target Expression
We present an automated program analysis, called Reach, to compute program inputs that cause evaluation of explicitly-marked target expressions. Reach has a range of applications ...
Matthew Naylor, Colin Runciman
INFOVIS
2000
IEEE
15 years 11 months ago
Interactive Problem Solving via Algorithm Visualization
COMIND is a tool for conceptual design of industrial products. It helps designers define and evaluate the initial design space by using search algorithms to generate sets of feasi...
Pearl Pu, Denis Lalanne