1813 search results - page 106 / 363 » Instance Pruning Techniques |
170
click to vote
CP
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. Constraint Programming is a proven successful technique, but it requires skill in modeling problems, and knowledge on how algorithms interact with models. What can be a g...
153
click to vote
VLDB
2005
ACM
15 years 12 months ago
2005
ACM
Discovering associations between elements occurring in a stream is applicable in numerous applications, including predictive caching and fraud detection. These applications requir...
141
click to vote
WEA
2005
Springer
15 years 12 months ago
2005
Springer
We present the problem of statically distributing instructions of a common programming language, a problem which we prove equivalent to the multiterminal cut problem. We design e...
174
click to vote
SAT
2010
Springer
15 years 10 months ago
2010
Springer
Abstract. We describe a DPLL-based solver for the problem of quantified boolean formulas (QBF) in non-prenex, non-CNF form. We make two contributions. First, we reformulate clause...
155
click to vote
WSC
2007
15 years 8 months ago
2007
Ontologies allow researchers, domain experts, and software agents to share a common understanding of the concepts and relationships of a domain. The past few years have seen the p...