7623 search results - page 1221 / 1525 » Algorithmic Features of Eclat |
174
click to vote
CAV
2009
Springer
16 years 7 months ago
2009
Springer
We present HOMER, an observational-equivalence model checker for the 3rd-order fragment of Idealized Algol (IA) augmented with iteration. It works by first translating terms of the...
187
click to vote
KDD
2009
ACM
16 years 7 months ago
2009
ACM
We present a new approach to large-scale graph mining based on so-called backbone refinement classes. The method efficiently mines tree-shaped subgraph descriptors under minimum f...
206
click to vote
KDD
2008
ACM
16 years 7 months ago
2008
ACM
Privacy-preserving data mining (PPDM) is an emergent research area that addresses the incorporation of privacy preserving concerns to data mining techniques. In this paper we prop...
177
click to vote
KDD
2005
ACM
16 years 7 months ago
2005
ACM
Discriminative sequential learning models like Conditional Random Fields (CRFs) have achieved significant success in several areas such as natural language processing, information...
216
click to vote
KDD
2003
ACM
16 years 7 months ago
2003
ACM
Airlines routinely overbook flights based on the expectation that some fraction of booked passengers will not show for each flight. Accurate forecasts of the expected number of no...