9611 search results - page 143 / 1923 » A Note on Difference Sets |
160
click to vote
ICTAI
2007
IEEE
15 years 11 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...
165
Voted
VEE
2006
ACM
15 years 11 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ļ¬...
132
Voted
ICPPW
2005
IEEE
15 years 10 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,...
141
Voted
ICLP
2005
Springer
15 years 10 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...
147
click to vote
GECCO
2006
Springer
15 years 8 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...