10038 search results - page 1876 / 2008 » Model Checking for Managers |
115
Voted
EJWCN
2010
14 years 7 months ago
2010
A Mobile Ad Hoc Network (MANET) is characterized by the lack of any infrastructure, absence of any kind of centralized administration, frequent mobility of nodes, network partitio...
106
Voted
MLDM
2010
Springer
14 years 7 months ago
2010
Springer
Prepaid customers in mobile telecommunications are not bound by a contract and can therefore change operators (`churn') at their convenience and without notification. This mak...
116
click to vote
TCBB
2010
14 years 7 months ago
2010
Abstract-The discovery of motifs in biosequences is frequently torn between the rigidity of the model on the one hand and the abundance of candidates on the other. In particular, m...
98
Voted
TMI
2010
14 years 7 months ago
2010
Diffusion Kurtosis Imaging (DKI) is a new magnetic resonance imaging model that describes the non-Gaussian diffusion behavior in tissues. It has recently been shown that DKI param...
112
click to vote
TMI
2010
14 years 7 months ago
2010
The shape of the mitral valve annulus is used in diagnostic and modeling applications, yet methods to accurately and reproducibly delineate the annulus are limited. This paper pres...