1093 search results - page 162 / 219 » Crossover in Probability Spaces |
169
click to vote
LCN
2005
IEEE
15 years 11 months ago
2005
IEEE
— An analytical model is proposed to describe the priority schemes of the Enhanced Distributed Channel Access (EDCA) mechanism of the IEEE 802.11e standard. EDCA provides class-b...
147
Voted
TACAS
2005
Springer
15 years 11 months ago
2005
Springer
We present MC2 , what we believe to be the first randomized, Monte Carlo algorithm for temporal-logic model checking, the classical problem of deciding whether or not a property s...
207
click to vote
SIGIR
2004
ACM
15 years 11 months ago
2004
ACM
We present a probabilistic model for a document corpus that combines many of the desirable features of previous models. The model is called “GaP” for Gamma-Poisson, the distri...
172
click to vote
ESORICS
2004
Springer
15 years 11 months ago
2004
Springer
We present and analyze portable access control mechanisms for large data repositories, in that the customized access policies are stored on a portable device (e.g., a smart card). ...
186
click to vote
IBERAMIA
2004
Springer
15 years 11 months ago
2004
Springer
In this paper we tackle the problem of providing a mobile robot with the ability to build a map of its environment using data gathered during navigation. The data correspond to the...