3446 search results - page 189 / 690 » A Reasoning Algorithm for pD* |
216
click to vote
DLS
2009
15 years 2 months ago
2009
Type inference and type reconstruction derive static types for program elements that have no static type associated with them. They have a wide range of usage, such as helping to ...
151
click to vote
GI
2009
Springer
15 years 2 months ago
2009
Springer
: Static analysis techniques for consistency checking of workflows allow to avoid runtime errors. This is in particular crucial for long running workflows where errors, detected la...
165
click to vote
GLOBECOM
2009
IEEE
15 years 2 months ago
2009
IEEE
Abstract--In this paper we investigate hardware implementations of ciphering algorithms, SNOW 3G and the Advanced Encryption Standard (AES), for the acceleration of the protocol st...
148
click to vote
ICDM
2009
IEEE
15 years 2 months ago
2009
IEEE
Matrix factorization (MF) models have proved efficient and well scalable for collaborative filtering (CF) problems. Many researchers also present the probabilistic interpretation o...
166
click to vote
ICDM
2009
IEEE
15 years 2 months ago
2009
IEEE
In this paper, we study the problem of constructing private classifiers using decision trees, within the framework of differential privacy. We first construct privacy-preserving ID...