1818 search results - page 151 / 364 » Granularity-Adaptive Proof Presentation |
129
Voted
ASIACRYPT
2000
Springer
15 years 7 months ago
2000
Springer
A conference key protocol allows a group of participants to establish a secret communication (conference) key so that all their communications thereafter are protected by the key. ...
164
Voted
MCS
2000
Springer
15 years 7 months ago
2000
Springer
The use of multiple features by a classifier often leads to a reduced probability of error, but the design of an optimal Bayesian classifier for multiple features is dependent on t...
157
click to vote
COMPGEOM
1995
ACM
15 years 7 months ago
1995
ACM
We present a simple but powerful new probabilistic technique for analyzing the combinatorial complexity of various substructures in arrangements of piecewise-linear surfaces in hig...
125
click to vote
ZUM
2000
Springer
15 years 7 months ago
2000
Springer
The B-Method is a state-based formal method that describes behaviour in terms of MACHINES whose states change under OPERATIONS. The process algebra CSP is an event-based formalism ...
154
Voted
FSTTCS
1991
Springer
15 years 7 months ago
1991
Springer
This paper closes a gap in the foundations of the theory of average case complexity. First, we clarify the notion of a feasible solution for a search problem and prove its robustne...