2705 search results - page 487 / 541 » Privacy in Data Mining Using Formal Methods |
126
click to vote
IFL
2003
Springer
15 years 7 months ago
2003
Springer
Abstract. We present a new shell that provides the full basic functionality of a strongly typed lazy functional language, including overloading. The shell can be used for manipulat...
108
click to vote
CCS
2004
ACM
15 years 7 months ago
2004
ACM
Payload attribution is an important problem often encountered in network forensics. Given an excerpt of a payload, finding its source and destination is useful for many security ...
127
Voted
ACISP
2001
Springer
15 years 6 months ago
2001
Springer
Abstract. Many algorithmic problems, which are used to prove the security of a cryptographic system, are shown to be characterized as the subgroup membership problem. We then apply...
116
Voted
KR
2004
Springer
15 years 7 months ago
2004
Springer
In a very basic sense, the aim of knowledge discovery is to reveal structures of knowledge which can be seen as being represented by structural relationships. In this paper, we ma...
CSE
2009
IEEE
15 years 8 months ago
2009
IEEE
Interobserver reliability and reproducibility are well known problems in experimental research within the social and behavioural sciences. We propose the use of formal techniques ...