Sciweavers

1211 search results - page 202 / 243
» Isosurface Similarity Maps
Sort
View
MICCAI
2007
Springer
16 years 23 days ago
Ultrasound Myocardial Elastography and Registered 3D Tagged MRI: Quantitative Strain Comparison
Ultrasound Myocardial Elastography (UME) and Tagged Magnetic Resonance Imaging (tMRI) are two imaging modalities that were developed in the recent years to quantitatively estimate ...
Zhen Qian, Wei-Ning Lee, Elisa E. Konofagou, Dimit...
CAV
2009
Springer
215views Hardware» more  CAV 2009»
16 years 11 days ago
Homer: A Higher-Order Observational Equivalence Model checkER
We present HOMER, an observational-equivalence model checker for the 3rd-order fragment of Idealized Algol (IA) augmented with iteration. It works by first translating terms of the...
David Hopkins, C.-H. Luke Ong
HPCA
2009
IEEE
16 years 11 days ago
Bridging the computation gap between programmable processors and hardwired accelerators
New media and signal processing applications demand ever higher performance while operating within the tight power constraints of mobile devices. A range of hardware implementatio...
Kevin Fan, Manjunath Kudlur, Ganesh S. Dasika, Sco...
INFOCOM
2009
IEEE
15 years 6 months ago
Circuits/Cutsets Duality and a Unified Algorithmic Framework for Survivable Logical Topology Design in IP-over-WDM Optical Netwo
: Given a logical topology and a physical topology , the survivable logical topology design problem in an IP-overWDM optical network is to map the logical links into lightpaths in ...
Krishnaiyan Thulasiraman, Muhammad S. Javed, Guoli...
IROS
2007
IEEE
189views Robotics» more  IROS 2007»
15 years 6 months ago
Person following with a mobile robot using binocular feature-based tracking
Abstract— We present the Binocular Sparse Feature Segmentation (BSFS) algorithm for vision-based person following with a mobile robot. BSFS uses Lucas-Kanade feature detection an...
Zhichao Chen, Stanley T. Birchfield