4962 search results - page 646 / 993 » Stochastic Model Checking |
175
click to vote
WSC
1998
15 years 7 months ago
1998
Most discrete-event simulation models have stochastic elements that mimic the probabilistic nature of the system under consideration. A close match between the input model and the...
205
click to vote
TMC
2008
15 years 6 months ago
2008
The future-generation wireless systems will combine heterogeneous wireless access technologies to provide mobile users with seamless access to a diverse set of applications and ser...
152
click to vote
TSMC
2008
15 years 6 months ago
2008
This paper deals with the development of a computer model to estimate the subjective workload score of individuals by evaluating their heart-rate (HR) signals. The identification o...
226
click to vote
SDM
2009
SIAM
16 years 3 months ago
2009
SIAM
Many real-world applications call for learning predictive relationships from multi-modal data. In particular, in multi-media and web applications, given a dataset of images and th...
182
click to vote
TON
2010
15 years 4 months ago
2010
—This paper develops a simple and accurate stochastic model for the steady-state throughput of a TCP NewReno bulk data transfer as a function of round-trip time and loss rate. Ou...