752 search results - page 78 / 151 » A Markov Chain Model Checker |
BC
2008
13 years 9 months ago
2008
In this paper we introduce a simple model based on probabilistic finite state automata to describe an emotional interaction between a robot and a human user, or between simulated a...
GLOBECOM
2009
IEEE
13 years 6 months ago
2009
IEEE
Performance modeling is important for the purpose of developing efficient dimensioning tools for large complicated networks. But it is difficult to achieve in heterogeneous wireles...
ICIP
1999
IEEE
14 years 10 months ago
1999
IEEE
Deformable geometric models fit very naturally into the context of Bayesian analysis. The prior probability of boundary shapes is taken to proportional to the negative exponential...
ICIP
2009
IEEE
14 years 9 months ago
2009
IEEE
Lidar waveforms are 1D signal consisting of a train of echoes where each of them correspond to a scattering target of the Earth surface. Modeling these echoes with the appropriate...
IWIA
2003
IEEE
14 years 2 months ago
2003
IEEE
1 A new method for detecting anomalies in the usage of protocols in computer networks is presented in this work. The proposed methodology is applied to TCP and disposed in two step...