4962 search results - page 465 / 993 » Stochastic Model Checking |
117
click to vote
FCT
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Motivated by considerations in XML theory and model checking, data strings have been introduced as an extension of finite alphabet strings which carry, at each position,...
114
click to vote
WSC
2004
15 years 5 months ago
2004
Forecasting is of prime importance for accuracy in decision making. For data sets containing high autocorrelations, failure to account for temporal dependence will result in poor ...
144
click to vote
ECCV
2000
Springer
16 years 6 months ago
2000
Springer
A new probabilistic background model based on a Hidden Markov Model is presented. The hidden states of the model enable discrimination between foreground, background and shadow. Th...
179
click to vote
ISLPED
1997
ACM
15 years 8 months ago
1997
ACM
We present detailed analytical models for estimating the energy dissipation in conventional caches as well as low energy cache architectures. The analytical models use the run tim...
130
click to vote
WSC
2007
15 years 6 months ago
2007
The Logistics Composite Model (LCOM) is a stochastic, discrete-event simulation that relies on probabilities and random number generators to model scenarios in a maintenance unit ...