2705 search results - page 434 / 541 » Privacy in Data Mining Using Formal Methods |
101
Voted
SIGKDD
2000
15 years 2 months ago
2000
This paper presents a simple new algorithm that performs k-means clustering in one scan of a dataset, while using a bu er for points from the dataset of xed size. Experiments show...
150
Voted
WSDM
2012
ACM
13 years 10 months ago
2012
ACM
Many vertical search tasks such as local search focus on specific domains. The meaning of relevance in these verticals is domain-specific and usually consists of multiple well-d...
140
Voted
FMCO
2003
Springer
15 years 7 months ago
2003
Springer
Abstract. Formal methods, in particular model checking, are increasingly accepted as integral part of system development. With large software systems beyond the range of fully auto...
134
click to vote
INFOCOM
2010
IEEE
15 years 1 months ago
2010
IEEE
—In this paper, we present a general technique based on Bayesian inference to locate mobiles in cellular networks. We study the problem of localizing users in a cellular network ...
146
Voted
CIKM
2001
Springer
15 years 7 months ago
2001
Springer
Collaborative filtering uses a database about consumers’ preferences to make personal product recommendations and is achieving widespread success in both E-Commerce and Informat...