2297 search results - page 282 / 460 » A fast APRIORI implementation |
164
click to vote
PPDP
2009
Springer
16 years 1 months ago
2009
Springer
We propose a novel type-based model checking algorithm for higher-order recursion schemes. As shown by Kobayashi, verification problems of higher-order functional programs can ea...
171
click to vote
EUROMICRO
2007
IEEE
16 years 26 days ago
2007
IEEE
Ubiquitous environments facilitate the fast and easy access to users’ physical environments. Ubiquitous environments typically capture users’ presence and activities in a room...
176
click to vote
ICC
2007
IEEE
16 years 25 days ago
2007
IEEE
— Existing methods for local area service discovery either don’t scale or rely on a trustworthy directory server; in some environments these restrictions are unacceptable or im...
107
click to vote
ICC
2007
IEEE
16 years 25 days ago
2007
IEEE
— A matrix is described that transforms input vectors (blocks) of length (K − 2), consisting of digital PAM vector components, into output vectors (blocks) of length K. The mat...
159
click to vote
ICDE
2007
IEEE
16 years 25 days ago
2007
IEEE
Recently, systems providing access to extremely large data collections, managed in a distributed manner, gain emerging attention. A promising approach to implement the physical la...