4007 search results - page 417 / 802 » Computation with imprecise probabilities |
171
click to vote
ICALP
2005
Springer
16 years 9 days ago
2005
Springer
Abstract. We describe a cryptographically sound formal logic for proving protocol security properties without explicitly reasoning about probability, asymptotic complexity, or the ...
162
click to vote
ICALP
2005
Springer
16 years 9 days ago
2005
Springer
We study a particular aspect of the balanced allocation paradigm (also known as the “two-choices paradigm”): constant sized bins, packed as tightly as possible. Let d ≥ 1 be...
162
click to vote
ICIC
2005
Springer
16 years 9 days ago
2005
Springer
Abstract. As the information in the internet proliferates, the methods for effectively providing the information have been exploited, especially in conversational agents. Bayesian ...
174
click to vote
ICN
2005
Springer
16 years 9 days ago
2005
Springer
Abstract. In this paper, we propose a mechanism to eliminate the performance anomaly of IEEE 802.11b. Performance anomaly happens when nodes that have different transmission rates...
201
click to vote
MCS
2005
Springer
16 years 9 days ago
2005
Springer
Abstract. In this paper, we propose a cluster-based cumulative representation for cluster ensembles. Cluster labels are mapped to incrementally accumulated clusters, and a matching...