2543 search results - page 238 / 509 » Optimal Ordered Problem Solver |
122
click to vote
CP
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. In recent years, dynamic local search (DLS) clause weighting algorithms have emerged as the local search state-of-the-art for solving propositional satisfiability proble...
129
click to vote
AI
2000
Springer
15 years 3 months ago
2000
Springer
GENET is a heuristic repair algorithm which demonstrates impressive e ciency in solving some large-scale and hard instances of constraint satisfaction problems (CSPs). In this pap...
125
click to vote
ECML
2005
Springer
15 years 8 months ago
2005
Springer
ABSTRACT. Estimating a non-uniformly sampled function from a set of learning points is a classical regression problem. Kernel methods have been widely used in this context, but eve...
118
click to vote
CASES
2001
ACM
15 years 6 months ago
2001
ACM
In an embedded system, it is common to have several memory areas with different properties, such as access time and size. An access to a specific memory area is usually restricted...
161
click to vote
ICCAD
2009
IEEE
15 years 1 months ago
2009
IEEE
Computational protein design can be formulated as an optimization problem, where the objective is to identify the sequence of amino acids that minimizes the energy of a given prot...