752 search results - page 101 / 151 » A Markov Chain Model Checker |
GLOBECOM
2007
IEEE
14 years 3 months ago
2007
IEEE
—In this paper we compare and enhance the three prevailing approaches of IEEE 802.11e Performance analysis. Specifically, the first model utilizes a Markov Chain to describe th...
TSMC
2010
13 years 3 months ago
2010
This paper presents a general gait representation framework for video-based human motion estimation. Specifically, we want to estimate the kinematics of an unknown gait from image ...
MASCOTS
2010
13 years 10 months ago
2010
In this work the authors present an analytical model that -- compared to previously published work -- more accurately captures the delay of IEEE 802.11 protocol under low, medium,...
MICCAI
2009
Springer
14 years 6 months ago
2009
Springer
Automated segmentation of the esophagus in CT images is of high value to radiologists for oncological examinations of the mediastinum. It can serve as a guideline and prevent confu...
ICAC
2009
IEEE
14 years 3 months ago
2009
IEEE
In this paper we construct an evaluation framework for a self-healing system, VM-Rejuv – a virtual machine based rejuvenation scheme for web-application servers – using simple...