6456 search results - page 375 / 1292 » Constraint Solving on Terms |
158
click to vote
GECCO
2006
Springer
15 years 10 months ago
2006
Springer
This poster investigates the use of Evolutionary Algorithms (EAs) to optimise solutions to the Dynamic Aircraft Landing Problem (DALP). The approach adopted here uses an EA to evo...
158
click to vote
AIPS
1994
15 years 8 months ago
1994
Generating production-quality plans is an essential element in transforming planners from research tools into real-world applications. However most of the work to date on learning...
198
click to vote
ECCV
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. We consider the minimization of a smooth convex function regularized by the mixture of prior models. This problem is generally difficult to solve even each simpler regula...
177
click to vote
GECCO
2008
Springer
15 years 7 months ago
2008
Springer
Hill-climbing has been shown to be more effective than exhaustive search in solving satisfiability problems.Also, it has been used either by itself or in combination with other ...
145
click to vote
JUCS
2010
15 years 5 months ago
2010
Abstract: This paper presents a nonlinear solver based on the Newton-Krylov methods, where the Newton equations are solved by Krylov-subspace type approaches. We focus on the solut...