2194 search results - page 347 / 439 » Improving HLRTA*( k ) |
135
Voted
CAV
2009
Springer
16 years 1 months ago
2009
Springer
Context-bounded analysis is an attractive approach to verification of concurrent programs. Bounding the number of contexts executed per thread not only reduces the asymptotic compl...
167
Voted
PODS
2009
ACM
16 years 1 months ago
2009
ACM
We consider the the problem of tracking heavy hitters and quantiles in the distributed streaming model. The heavy hitters and quantiles are two important statistics for characteri...
104
Voted
KDD
2008
ACM
16 years 1 months ago
2008
ACM
Recommender systems provide users with personalized suggestions for products or services. These systems often rely on Collaborating Filtering (CF), where past transactions are ana...
95
Voted
KDD
2008
ACM
16 years 1 months ago
2008
ACM
In this paper, we propose a set of novel regression-based approaches to effectively and efficiently summarize frequent itemset patterns. Specifically, we show that the problem of ...
150
click to vote
KDD
2007
ACM
16 years 1 months ago
2007
ACM
Existing data-stream clustering algorithms such as CluStream are based on k-means. These clustering algorithms are incompetent to find clusters of arbitrary shapes and cannot hand...