2297 search results - page 133 / 460 » A fast APRIORI implementation |
CAV
2004
Springer
15 years 4 months ago
2004
Springer
The logic of equality with uninterpreted functions (EUF) and its extensions have been widely applied to processor verification, by means of a large variety of progressively more s...
FSE
2004
Springer
15 years 4 months ago
2004
Springer
SecurID is a widely used hardware token for strengthening authentication in a corporate environment. Recently, Biryukov, Lano, and Preneel presented an attack on the alleged SecurI...
ICMI
2003
Springer
15 years 4 months ago
2003
Springer
A novel text entry system designed based on the ubiquitous 12button telephone keypad and its adaptation for a soft keypad are presented. This system can be used to enter full text...
INFOCOM
2002
IEEE
15 years 4 months ago
2002
IEEE
—Enhanced network services often involve allocating resources (bandwidth/buffer space) preferentially to packets belonging to certain flows or traffic classes. Such services ar...
PAKDD
2010
ACM
15 years 3 months ago
2010
ACM
Abstract. Mining of data streams must balance three evaluation dimensions: accuracy, time and memory. Excellent accuracy on data streams has been obtained with Naive Bayes Hoeffdi...