2705 search results - page 439 / 541 » Privacy in Data Mining Using Formal Methods |
152
click to vote
FMCO
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. A temporal logic is proposed as a tool for specifying properties of Klaim programs. Klaim is an experimental programming language that supports a programming paradigm whe...
121
click to vote
SDM
2010
SIAM
15 years 3 months ago
2010
SIAM
This paper addresses the challenging problem of learning from multiple annotators whose labeling accuracy (reliability) differs and varies over time. We propose a framework based ...
110
click to vote
SDM
2009
SIAM
15 years 11 months ago
2009
SIAM
Recent research in frequent pattern mining (FPM) has shifted from obtaining the complete set of frequent patterns to generating only a representative (summary) subset of frequent ...
WWW
2008
ACM
16 years 2 months ago
2008
ACM
In this paper we propose a method for predicting the ranking position of a Web page. Assuming a set of successive past top-k rankings, we study the evolution of Web pages in terms...
105
click to vote
ICDCSW
2003
IEEE
15 years 7 months ago
2003
IEEE
Today a huge variety of methods to track and analyze the customers’ behavior in e-commerce systems is available. However, in traditional retail stores such systems are not widel...