2705 search results - page 66 / 541 » Privacy in Data Mining Using Formal Methods |
ICDT
2011
ACM
13 years 14 days ago
2011
ACM
Provenance in scientific workflows is a double-edged sword. On the one hand, recording information about the module executions used to produce a data item, as well as the parame...
APWEB
2006
Springer
14 years 22 days ago
2006
Springer
Since we can hardly get semantics from the low-level features of the image, it is much more difficult to analyze the image than textual information on the Web. Traditionally, textu...
CCGRID
2008
IEEE
14 years 3 months ago
2008
IEEE
— This paper examines the potential of the Cell processor as a platform for secure data mining on the future volunteer computing systems. Volunteer computing platforms have the p...
KDD
2007
ACM
14 years 9 months ago
2007
ACM
We present DL8, an exact algorithm for finding a decision tree that optimizes a ranking function under size, depth, accuracy and leaf constraints. Because the discovery of optimal...
SAFECOMP
2010
Springer
13 years 7 months ago
2010
Springer
Formal verification efforts in the area of robotics are still comparatively scarce. In this paper we report on our experiences with one such effort, which was concerned with design...