145 search results - page 11 / 29 » A Shape-Based Segmentation Approach: An Improved Technique U... |
ISVLSI
2007
IEEE
14 years 2 months ago
2007
IEEE
Formal verification has become an important step in circuit and system design. A prominent technique is Bounded Model Checking (BMC) which is widely used in industry. In BMC it i...
ISVC
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. This paper proposes a new approach for structure based separation of image objects using fuzzy morphology. With set operators in fuzzy context, we apply an adaptive alpha...
SDM
2004
SIAM
13 years 10 months ago
2004
SIAM
Databases are a key technology for molecular biology which is a very data intensive discipline. Since molecular biological databases are rather heterogeneous, unification and data...
VIP
2000
13 years 10 months ago
2000
Emission tomography such as positron emission tomography (PET) and single-photon emission computed tomography (SPECT) can provide in vivo measurements of dynamic physiological and...
TMI
2010
13 years 7 months ago
2010
—A novel method is presented for carotid artery vessel wall segmentation in computed tomography angiography (CTA) data. First the carotid lumen is semi-automatically segmented us...