5255 search results - page 161 / 1051 » Formal Methods for Privacy |
155
Voted
FMAM
2010
15 years 1 months ago
2010
: Members of the agile programming and formal methods communities do not always see eye-to-eye. These two communities often do not talk to or learn from each other. Only recently, ...
144
Voted
PODS
2001
ACM
16 years 3 months ago
2001
ACM
The increasing ability to track and collect large amounts of data with the use of current hardware technology has lead to an interest in the development of data mining algorithms ...
208
click to vote
FOCS
2010
IEEE
15 years 1 months ago
2010
IEEE
Boosting is a general method for improving the accuracy of learning algorithms. We use boosting to construct improved privacy-preserving synopses of an input database. These are da...
127
click to vote
KDD
2007
ACM
16 years 4 months ago
2007
ACM
Abstract. Model selection is an important problem in statistics, machine learning, and data mining. In this paper, we investigate the problem of enabling multiple parties to perfor...
109
click to vote
AINA
2007
IEEE
15 years 10 months ago
2007
IEEE
In this paper an agri-food traceability system based on public key cryptography and Radio Frequency Identification (RFID) technology is proposed. In order to guarantee safety in f...