83 search results - page 17 / 17 » A New Finite-Field Multiplier Using Redundant Representation |
KDD
2008
ACM
14 years 6 months ago
2008
ACM
Closed patterns are powerful representatives of frequent patterns, since they eliminate redundant information. We propose a new approach for mining closed unlabeled rooted trees a...
BIRTHDAY
2009
Springer
14 years 25 days ago
2009
Springer
We present a new hybrid BDD and SAT-based algorithm for model checking. Our algorithm is based on backward search, where each pre-image computation consists of an efficient All-SA...
SIGIR
2005
ACM
13 years 11 months ago
2005
ACM
Retrospective news event detection (RED) is defined as the discovery of previously unidentified events in historical news corpus. Although both the contents and time information...