466 search results - page 61 / 94 » Preprocessing Search Spaces for Branch and Bound Search |
156
click to vote
HVC
2005
Springer
15 years 11 months ago
2005
Springer
We present several algorithms for simultaneous SAT (propositional satisfiability) based model checking of safety properties. More precisely, we focus on Bounded Model Checking and ...
191
click to vote
ICANN
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. Tuning hyper-parameters is a necessary step to improve learning algorithm performances. For Support Vector Machine classifiers, adjusting kernel parameters increases dra...
220
click to vote
FOGA
2011
14 years 9 months ago
2011
The distribution of fitness values across a set of states sharply influences the dynamics of evolutionary processes and heuristic search in combinatorial optimization. In this p...
139
click to vote
IJCAI
2007
15 years 7 months ago
2007
In an Arc Consistency (AC) algorithm, a residual support, or residue, is a support that has been stored during a previous execution of the procedure which determines if a value is ...
168
click to vote
ESA
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. In this paper we study the external memory planar point enclosure problem: Given N axis-parallel rectangles in the plane, construct a data structure on disk (an index) su...