9611 search results - page 143 / 1923 » A Note on Difference Sets |
ICTAI
2007
IEEE
14 years 4 months ago
2007
IEEE
Lookahead is a well-known constraint propagation technique for DPLL-based SAT and answer set solvers. Despite its space pruning power, it can also slow down the search, due to its...
VEE
2006
ACM
14 years 4 months ago
2006
ACM
We present Vector LLVA, a virtual instruction set architecture (VISA) that exposes extensive static information about vector parallelism while avoiding the use of hardware-speciļ¬...
ICPPW
2005
IEEE
14 years 3 months ago
2005
IEEE
We report on a Ā£rst parallel implementation of a recent algorithm to factor positive dimensional solution sets of polynomial systems. As the algorithm uses homotopy continuation,...
ICLP
2005
Springer
14 years 3 months ago
2005
Springer
Abstract. In recent work, a general framework for specifying program correspondences under the answer-set semantics has been deļ¬ned. The framework allows to deļ¬ne different not...
GECCO
2006
Springer
14 years 1 months ago
2006
Springer
Many data mining applications involve the task of building a model for predictive classification. The goal of such a model is to classify examples (records or data instances) into...