2705 search results - page 455 / 541 » Privacy in Data Mining Using Formal Methods |
139
click to vote
KAIS
2008
15 years 1 months ago
2008
Much work on skewed, stochastic, high dimensional, and biased datasets usually implicitly solve each problem separately. Recently, we have been approached by Texas Commission on En...
214
click to vote
SDM
2011
SIAM
14 years 4 months ago
2011
SIAM
Latent semantic analysis (LSA), as one of the most popular unsupervised dimension reduction tools, has a wide range of applications in text mining and information retrieval. The k...
140
click to vote
KDD
2012
ACM
13 years 4 months ago
2012
ACM
Objects with multiple numeric attributes can be compared within any “subspace” (subset of attributes). In applications such as computational journalism, users are interested i...
110
click to vote
FM
2001
Springer
15 years 6 months ago
2001
Springer
To develop efficient algorithms for the reachability analysis of timed automata, a promising approach is to use binary decision diagrams (BDDs) as data structure for the representa...
140
Voted
FMCAD
2008
Springer
15 years 3 months ago
2008
Springer
el Sequential Memory Abstraction for Model Checking Per Bjesse Advanced Technology Group Synopsys Inc. Many designs intermingle large memories with wide data paths and nontrivial c...