4962 search results - page 498 / 993 » Stochastic Model Checking |
152
click to vote
ISMIR
2001
Springer
15 years 9 months ago
2001
Springer
We present a technique that, given a sequence of musical note onset times, performs simultaneous identi cation of the notated rhythm and the variable tempo associated with the tim...
166
click to vote
DATE
2010
IEEE
15 years 8 months ago
2010
IEEE
We model and verify analog designs in the presence of noise and process variation using an automated theorem prover, MetiTarski. Due to the statistical nature of noise, we propose ...
128
click to vote
MIS
1999
Springer
15 years 8 months ago
1999
Springer
Interactive multimedia sessions have uncertain, varying consumption rates due to users' interactive behavior. In this paper, we propose two approaches for prediction of consu...
113
click to vote
VLDB
1987
ACM
15 years 8 months ago
1987
ACM
There are several consistency control algorithms for managing replicated files in the face of network partitioning due to site or communication link failures. In this paper, we co...
116
click to vote
WSC
2007
15 years 6 months ago
2007
We provide asymptotic expressions for the expected value and variance of the replicated batch means variance estimator when the stochastic process being simulated has an additive ...