4962 search results - page 511 / 993 » Stochastic Model Checking |
162
click to vote
CCGRID
2005
IEEE
15 years 10 months ago
2005
IEEE
The scheme of advance reservations in dynamically provisioned optical networks is novel, and there are no gridbased applications designed to utilize this scheme. We formally defi...
144
click to vote
ACMSE
1992
ACM
15 years 8 months ago
1992
ACM
A scheme for disk subsystem performance enhancement that is based on (virtual) cylinder remapping is proposed. A natural workload on a real system is measured, and statistical tes...
118
Voted
EMNLP
2007
15 years 6 months ago
2007
We present a probabilistic model of diachronic phonology in which individual word forms undergo stochastic edits along the branches of a phylogenetic tree. Our approach allows us ...
137
click to vote
SODA
2003
ACM
15 years 6 months ago
2003
ACM
We consider the costs of access to data stored in search trees assuming that those memory accesses are managed with a cache. Our cache memory model is two-level, has a small degre...
143
click to vote
UAI
2000
15 years 6 months ago
2000
Techniques for plan recognition under uncertainty require a stochastic model of the plangeneration process. We introduce probabilistic state-dependent grammars (PSDGs) to represen...