752 search results - page 133 / 151 » A Markov Chain Model Checker |
BIBM
2007
IEEE
14 years 3 months ago
2007
IEEE
With the wide application of green fluorescent protein (GFP) in the study of live cells, there is a surging need for the computer-aided analysis on the huge amount of image seque...
ICC
2007
IEEE
14 years 2 months ago
2007
IEEE
— We propose a spreading code medium access control (MAC) protocol with each node equipped with single transceiver for wireless ad hoc networks, based on the code division multip...
ICC
2007
IEEE
14 years 2 months ago
2007
IEEE
— The quality of end-to-end services over wireless communication networks highly depends on the error characteristics of the wireless links. By utilizing the link error character...
ICDCS
2007
IEEE
14 years 2 months ago
2007
IEEE
Uniform random sample is often useful in analyzing data. Usually taking a uniform sample is not a problem if the entire data resides in one location. However, if the data is distr...
VTC
2007
IEEE
14 years 2 months ago
2007
IEEE
Abstract— Discrete power allocation strategies for amplifyand-forward cooperative networks are proposed based on selective relaying methods. The goal of power allocation is to ma...