1033 search results - page 105 / 207 » The Relative History Heuristic |
154
click to vote
APN
2007
Springer
16 years 17 days ago
2007
Springer
Abstract. Choosing a good variable order is crucial for making symbolic state-space generation algorithms truly efficient. One such algorithm is the MDD-based Saturation algorithm ...
182
click to vote
ICSM
2005
IEEE
15 years 12 months ago
2005
IEEE
In order to support the maintenance of object-oriented software systems, the quality of their design must be evaluated using adequate quantification means. In spite of the curren...
169
click to vote
SAINT
2005
IEEE
15 years 12 months ago
2005
IEEE
Inductive Logic Programming (ILP) is a combination of inductive learning and first-order logic aiming to learn first-order hypotheses from training examples. ILP has a serious b...
141
click to vote
ATAL
2005
Springer
15 years 12 months ago
2005
Springer
This paper presents an agent strategy for complex bilateral negotiations over many issues with inter-dependent valuations. We use ideas inspired by graph theory and probabilistic ...
163
click to vote
SAC
2004
ACM
15 years 11 months ago
2004
ACM
We consider the generalized assignment problem in which the objective is to find a minimum cost assignment of a set of jobs to a set of agents subject to resource constraints. Th...