3192 search results - page 267 / 639 » Translating Model Simulators to Analysis Models |
161
click to vote
IANDC
2006
15 years 3 months ago
2006
Probabilistic verification of continuous-time stochastic processes has received increasing attention in the model-checking community in the past five years, with a clear focus on ...
141
Voted
JIIS
2002
15 years 3 months ago
2002
Abstract. We propose a novel probabilistic method, based on latent variable models, for unsupervised topographic visualisation of dynamically evolving, coherent textual information...
133
Voted
ICASSP
2011
IEEE
14 years 7 months ago
2011
IEEE
The Independent Component Analysis (ICA) model is extended to the case where the components are not necessarily independent: depending on the value a hidden latent process at the ...
120
Voted
GLOBECOM
2007
IEEE
15 years 9 months ago
2007
IEEE
—In this paper, we present an analytical model to evaluate the hidden station effect on the access delay of the IEEE 802.11 Distributed Coordination Function (DCF) in both non-sa...
128
Voted
GLOBECOM
2006
IEEE
15 years 9 months ago
2006
IEEE
— Low analyzes the equilibrium performance of the recently developed eXplicit Control Protocol (XCP) by applying the derived window-based dynamical model. However, Low’s window...