1171 search results - page 77 / 235 » Variable neighborhood search |
112
click to vote
CORR
2010
Springer
15 years 27 days ago
2010
Springer
Dependently typed -calculi such as the Logical Framework (LF) are capable of representing relationships between terms through types. By exploiting the "formulas-as-types"...
109
click to vote
KES
2008
Springer
15 years 23 days ago
2008
Springer
Using a strongly typed functional programming language for genetic programming has many advantages, but evolving functional programs with variables requires complex genetic operat...
CSCLP
2005
Springer
15 years 6 months ago
2005
Springer
This paper presents an attempt to construct a ”practical” CSP algorithm that assigns a variable with 2 values at every step. Such a strategy has been successfully used for cons...
83
Voted
CAEPIA
2007
Springer
15 years 4 months ago
2007
Springer
Many recent successful planners use domain-independent heuristics to speed up the search for a valid plan. An orthogonal approach to accelerating search is to identify and remove r...
110
Voted
ICML
2010
IEEE
15 years 1 months ago
2010
IEEE
The structure of a Markov network is typically learned using top-down search. At each step, the search specializes a feature by conjoining it to the variable or feature that most ...