390 search results - page 57 / 78 » Probability Logic and Logical Probability |
117
click to vote
ENVSOFT
2006
15 years 1 months ago
2006
A fully automated system for the identification of possible oil spills present on Synthetic Aperture Radar (SAR) satellite images based on artificial intelligence fuzzy logic has ...
143
click to vote
IANDC
2006
15 years 1 months ago
2006
Probabilistic verification of continuous-time stochastic processes has received increasing attention in the model-checking community in the past five years, with a clear focus on ...
121
click to vote
SOCIALCOM
2010
14 years 11 months ago
2010
This paper proposes that social network data should be assumed public but treated private. Assuming this rather confusing requirement means that anonymity models such as kanonymity...
122
Voted
VMCAI
2012
Springer
13 years 9 months ago
2012
Springer
Abstract. Recently, a general framework on characteristic formulae was proposed by Aceto et al. It offers a simple theory that allows one to easily obtain characteristic formulae o...
108
click to vote
SIGMOD
2004
ACM
16 years 2 months ago
2004
ACM
We perform a theoretical study of the following queryview security problem: given a view V to be published, does V logically disclose information about a confidential query S? The...