Sciweavers

6650 search results - page 116 / 1330
» models 2009
Sort
View
ICC
2009
IEEE
184views Communications» more  ICC 2009»
16 years 1 months ago
A 3-D Markov Chain Queueing Model of IEEE 802.11 DCF with Finite Buffer and Load
—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...
Ren Ping Liu, Gordon Sutton, Iain B. Collings
TABLEAUX
2009
Springer
16 years 29 days ago
Terminating Tableaux for the Basic Fragment of Simple Type Theory
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 ...
Chad E. Brown, Gert Smolka
ICASSP
2009
IEEE
16 years 1 months ago
Combining mixture weight pruning and quantization for small-footprint speech recognition
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...
David Huggins-Daines, Alexander I. Rudnicky
ICC
2009
IEEE
15 years 4 months ago
Second Order Statistics of Non-Isotropic Mobile-to-Mobile Ricean Fading Channels
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,...
CDC
2009
IEEE
143views Control Systems» more  CDC 2009»
15 years 10 months ago
Identification of Probability weighted multiple ARX models and its application to behavior analysis
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...
Shun Taguchi, Tatsuya Suzuki, Soichiro Hayakawa, S...