4343 search results - page 865 / 869 » Segmentation from a Box |
TMI
2010
13 years 5 months ago
2010
—Electromechanical wave imaging (EWI) has recently been introduced as a noninvasive, ultrasound-based imaging modality, which could map the electrical activation of the heart in ...
TMI
2010
13 years 5 months ago
2010
—A new feature based nonrigid image registration method for magnetic resonance (MR) brain images is presented in this paper. Each image voxel is represented by a rotation invaria...
WBIR
2010
SPRINGER
13 years 5 months ago
2010
SPRINGER
Radio-frequency catheter ablation (RFCA) has become an accepted treatment option for atrial fibrillation (Afib). RFCA of Afib involves isolation of the pulmonary veins under X-r...
ICTAC
2010
Springer
13 years 5 months ago
2010
Springer
We consider software verification of imperative programs by theorem proving in higher-order separation logic. Of particular interest are the difficulties of encoding and reasoning ...
SIN
2010
ACM
13 years 5 months ago
2010
ACM
In recent years, social networking sites (SNSs) gained high popularity among Internet users as they combine the best of both worlds: befriending people outside real life situation...