2705 search results - page 177 / 541 » Privacy in Data Mining Using Formal Methods |
CCR
2006
13 years 10 months ago
2006
The rapid growth of the Internet over the last decade has been startling. However, efforts to track its growth have often fallen afoul of bad data -- for instance, how much traffi...
FORTE
2009
13 years 8 months ago
2009
We propose an epistemic logic for the applied pi calculus, which is a variant of the pi calculus with extensions for modeling cryptographic protocols. In such a calculus, the secur...
ESWA
2002
13 years 10 months ago
2002
Image mining presents special characteristics due to the richness of the data that an image can show. Effective evaluation of the results of image mining by content requires that ...
KDD
2007
ACM
14 years 10 months ago
2007
ACM
In some applications such as filling in a customer information form on the web, some missing values may not be explicitly represented as such, but instead appear as potentially va...
REST
2010
ACM
14 years 5 days ago
2010
ACM
In this article a formal model applying REST architectural principles to the description of semantic web services is introduced, including the discussion of its syntax and operati...