5255 search results - page 556 / 1051 » Formal Methods for Privacy |
175
click to vote
FMICS
2008
Springer
15 years 8 months ago
2008
Springer
Different approaches have been developed to mitigate the state space explosion of model checking techniques. Among them, symbolic verification techniques use efficient representati...
218
click to vote
ICFCA
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. Standard Support Vector Machines (SVM) text classification relies on bag-of-words kernel to express the similarity between documents. We show that a document lattice can ...
193
click to vote
IACR
2011
14 years 6 months ago
2011
We investigate public key encryption that allows the originator of a ciphertext to retrieve a “forgotten” plaintext from the ciphertext. This type of public key encryption wit...
234
click to vote
TKDE
2012
13 years 9 months ago
2012
—As the exponential explosion of various contents generated on the Web, Recommendation techniques have become increasingly indispensable. Innumerable different kinds of recommend...
242
click to vote
TKDE
2012
13 years 9 months ago
2012
—This study of collective behavior is to understand how individuals behave in a social networking environment. Oceans of data generated by social media like Facebook, Twitter, Fl...