2705 search results - page 268 / 541 » Privacy in Data Mining Using Formal Methods |
172
click to vote
ICFEM
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. We present a “memory-model-sensitive” approach to validating correctness properties for multithreaded programs. Our key insight is that by specifying both the inter-t...
186
click to vote
KDD
1995
ACM
15 years 10 months ago
1995
ACM
Manydata mining algorithms developed recently are based on inductive learning methods. Very few are based on similarity-based learning. However, similarity-based learning accrues ...
181
click to vote
ICDM
2008
IEEE
16 years 1 months ago
2008
IEEE
Nonnegative Matrix Factorization (NMF) is a dimension reduction method that has been widely used for various tasks including text mining, pattern analysis, clustering, and cancer ...
206
click to vote
KDD
2012
ACM
13 years 9 months ago
2012
ACM
Building an accurate emerging pattern classifier with a highdimensional dataset is a challenging issue. The problem becomes even more difficult if the whole feature space is unava...
182
click to vote
OOPSLA
2007
Springer
16 years 22 days ago
2007
Springer
Abstract. Object-oriented language concepts have been highly successful, resulting in a large number of object-oriented languages and language extensions. Unfortunately, formal met...