4555 search results - page 727 / 911 » Deductive Algorithmic Knowledge |
214
click to vote
FLOPS
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. This paper describes how high level implementations of (needed) narrowing into Prolog can be improved by analysing definitional trees. First, we introduce a refined repre...
204
click to vote
CP
2006
Springer
15 years 10 months ago
2006
Springer
In this paper we investigate the use of preprocessing when solving Quantified Boolean Formulas (QBF). Many different problems can be efficiently encoded as QBF instances, and there...
209
click to vote
DASFAA
2006
IEEE
15 years 10 months ago
2006
IEEE
Clustering web users is one of the most important research topics in web usage mining. Existing approaches cluster web users based on the snapshots of web user sessions. They do no...
180
click to vote
DASFAA
2006
IEEE
15 years 10 months ago
2006
IEEE
Sharing of common subtrees has been reported useful not only for XML compression but also for main-memory XML query processing. This method compresses subtrees only when they exhib...
161
click to vote
DAWAK
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Association rule mining is one of the most popular data mining techniques. Significant work has been done to extend the basic association rule framework to allow for mini...