748 search results - page 83 / 150 » Time and Probability in Process Algebra |
104
Voted
GLOBECOM
2007
IEEE
15 years 6 months ago
2007
IEEE
In traditional call admission control (CAC) schemes, mobile users are always the passive roles during the admission procedures and the base station determines whether to admit o...
139
click to vote
RSS
2007
15 years 2 months ago
2007
— We present a new motion planning framework that explicitly considers uncertainty in robot motion to maximize the probability of avoiding collisions and successfully reaching a ...
110
click to vote
QEST
2005
IEEE
15 years 6 months ago
2005
IEEE
iLTL is a probabilistic temporal logic that can specify properties of multiple discrete time Markov chains (DTMCs). In this paper, we describe two related tools: MarkovEstimator a...
105
Voted
ICIP
1999
IEEE
16 years 2 months ago
1999
IEEE
Over the last years many statistical models have been proposed to restore tomographical images. However, their use in medical environment has been limited due to several factors. ...
100
click to vote
DMSN
2009
ACM
15 years 7 months ago
2009
ACM
Generating a good execution plan for a declarative query has long been a central problem in data management research. With the rise in interest in wireless sensor networks (WSNs) ...