577 search results - page 106 / 116 » Model Checking Based on Simultaneous Reachability Analysis |
TWC
2010
13 years 5 months ago
2010
In this paper, we consider the amplify-and-forward relaying transmission in the downlink of a multi-channel cellular network with one base station and multiple relay-destination pa...
TROB
2010
13 years 5 months ago
2010
The property of form-closure of a grasp, as generally defined in the literature, is based on the assumption that contact points between the hand and the object are fixed in space. ...
BMCBI
2010
13 years 10 months ago
2010
Background: Single nucleotide polymorphism (SNP) based association studies aim at identifying SNPs associated with phenotypes, for example, complex diseases. The associated SNPs m...
MICCAI
2009
Springer
14 years 11 months ago
2009
Springer
We study the problem of classifying mild Alzheimer's disease (AD) subjects from healthy individuals (controls) using multi-modal image data, to facilitate early identification...
BMEI
2008
IEEE
14 years 4 months ago
2008
IEEE
Epicardial mapping system is an important tool for studying electrophysiological characteristics of atrial fibrillation (AF). AF is the most common arrhythmia and is becoming more...