—We introduce a 3-dimensional Markov chain that integrates the IEEE 802.11 DCF contention resolution and queueing processes into one model. Important QoS measures, delay and loss...
base types and disallows lambda abstractions and quantifiers. We show that this fragment has the finite model property and that satisfiability can be decided with a terminating ...
Semi-continuous acoustic models, where the output distributions for all Hidden Markov Model states share a common codebook of Gaussian density functions, are a well-known and prov...
This paper develops a generic geometry-based stochastic model for mobile-to-mobile (M2M) Ricean fading channels. From the generic model, the level crossing rate (LCR) and average f...
Xiang Cheng, Cheng-Xiang Wang, David I. Laurenson,...
This paper proposes a Probability weighted ARX (PrARX) model wherein the multiple ARX models are composed by the probabilistic weighting functions. As the probabilistic weighting f...