212 search results - page 13 / 43 » Lazy Arc Consistency |
MEMOCODE
2010
IEEE
13 years 5 months ago
2010
IEEE
Abstract--Theory propagation in Satisfiability Modulo Theories is crucial for the solver's performance. It is important, however, to pay particular care to the amount of deduc...
ICDM
2005
IEEE
14 years 1 months ago
2005
IEEE
Ensemble methods have proved to be highly effective in improving the performance of base learners under most circumstances. In this paper, we propose a new algorithm that combine...
ARCS
2004
Springer
14 years 1 months ago
2004
Springer
Computer systems of the future will consist more and more of autonomous and cooperative system parts and behave self-organizing. Self-organizing is mainly characterized by adaptive...
ACSD
2001
IEEE
13 years 11 months ago
2001
IEEE
We here consider transition systems of Elementary Net Systems with Inhibitor Arcs. There are basically two di erent types of non-interleaving semantics of such Petri nets, the a-po...
AAAI
2000
13 years 9 months ago
2000
We perform an extensive theoretical and empirical analysis of the use of auxiliary variables and implied constraints in modelling a class of non-binary constraint satisfaction pro...