752 search results - page 101 / 151 » A Markov Chain Model Checker |
131
click to vote
GLOBECOM
2007
IEEE
15 years 11 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...
165
click to vote
TSMC
2010
15 years 3 days 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 ...
132
click to vote
MASCOTS
2010
15 years 6 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,...
146
click to vote
MICCAI
2009
Springer
16 years 2 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...
158
click to vote
ICAC
2009
IEEE
16 years 4 days 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...