2705 search results - page 261 / 541 » Privacy in Data Mining Using Formal Methods |
144
click to vote
AUSDM
2006
Springer
15 years 10 months ago
2006
Springer
During knowledge acquisition multiple alternative potential rules all appear equally credible. This paper addresses the dearth of formal analysis about how to select between such a...
176
click to vote
SAS
2007
Springer
16 years 22 days ago
2007
Springer
Concurrent programs are difficult to verify because the proof must consider the interactions between the threads. Fine-grained concurrency and heap allocated data structures exacer...
198
click to vote
KDD
2009
ACM
16 years 1 months ago
2009
ACM
Many applications in surveillance, monitoring, scientific discovery, and data cleaning require the identification of anomalies. Although many methods have been developed to iden...
202
click to vote
ADMA
2006
Springer
16 years 18 days ago
2006
Springer
The problem of finding anomaly has received much attention recently. However, most of the anomaly detection algorithms depend on an explicit definition of anomaly, which may be i...
173
Voted
PKDD
2001
Springer
15 years 11 months ago
2001
Springer
We present a method for distinguishing two subtly different mental states, on the basis of the underlying brain activation measured with fMRI. The method uses a classifier to lea...