2610 search results - page 346 / 522 » Computational Probabilistic Non-interference |
136
Voted
CPE
1998
Springer
15 years 7 months ago
1998
Springer
We present a new dynamic probabilistic state exploration algorithm based on hash compaction. Our method has a low state omission probability and low memory usage that is independen...
107
Voted
SIGMOD
1998
ACM
15 years 7 months ago
1998
ACM
We present new algorithms for computing approximate quantiles of large datasets in a single pass. The approximation guarantees are explicit, and apply without regard to the value ...
125
Voted
QCQC
1998
Springer
15 years 7 months ago
1998
Springer
Abstract. We consider the communication complexity of the binary inner product function in a variation of the two-party scenario where the parties have an a priori supply of partic...
137
Voted
ECP
1997
Springer
15 years 7 months ago
1997
Springer
A possibilistic approach of planning under uncertainty has been developed recently. It applies to problems in which the initial state is partially known and the actions have graded...
136
Voted
ECSQARU
2009
Springer
15 years 7 months ago
2009
Springer
Fuzzy vectors were introduced as a description of imprecise quantities whose uncertainty originates from vagueness, not from a probabilistic model. Support functions are a classica...