35 search results - page 4 / 7 » Phase-Correlated Dynamic CT |
DCC
2005
IEEE
14 years 7 months ago
2005
IEEE
ct A very fast, low complexity algorithm for resolution scalable and random access decoding is presented. The algorithm is based on AGP (Alphabet and Group Partitioning) [1], where...
TABLEAUX
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. We give an optimal (exptime), sound and complete tableaubased algorithm for deciding satisfiability with respect to a TBox in the logic ALCI using global state caching. ...
MICCAI
2003
Springer
14 years 8 months ago
2003
Springer
Minimally invasive cardiac surgery is performed on the beating heart, through inter-costal ports. The two major limitations of these procedures are: selecting port locations for op...
ISBI
2004
IEEE
14 years 8 months ago
2004
IEEE
An autostereoscopic display and analysis system has been developed to aid the development of three-dimensional (3-D) cardiac imaging for use during minimally invasive cardiac surg...
CVPR
2008
IEEE
14 years 9 months ago
2008
IEEE
Modeling the dynamics of heart and lung tissue is challenging because the tissue deforms between data acquisitions. To reconstruct complete volumes, sample data captured at differ...