3446 search results - page 607 / 690 » A Reasoning Algorithm for pD* |
210
click to vote
POPL
2005
ACM
16 years 1 months ago
2005
ACM
Several formal languages have been proposed to encode privacy policies, ranging from the Platform for Privacy Preferences (P3P), intended for communicating privacy policies to con...
111
click to vote
STOC
2005
ACM
16 years 1 months ago
2005
ACM
A celebrated 1976 theorem of Aumann asserts that honest, rational Bayesian agents with common priors will never "agree to disagree": if their opinions about any topic ar...
104
click to vote
STOC
2005
ACM
16 years 1 months ago
2005
ACM
In the setting of secure multiparty computation, a set of parties wish to to jointly compute some function of their input (i.e., they wish to securely carry out some distributed t...
200
Voted
VLDB
2007
ACM
16 years 1 months ago
2007
ACM
This paper introduces a class of conditional inclusion dependencies (CINDs), which extends traditional inclusion dependencies (INDs) by enforcing bindings of semantically related ...
223
click to vote
SIGMOD
2006
ACM
16 years 1 months ago
2006
ACM
Data stream applications have made use of statistical summaries to reason about the data using nonparametric tools such as histograms, heavy hitters, and join sizes. However, rela...