Sciweavers

144 search results - page 26 / 29
» A Self-Test Approach Using Accumulators as Test Pattern Gene...
Sort
View
CVPR
2008
IEEE
14 years 9 months ago
Hierarchical, learning-based automatic liver segmentation
In this paper we present a hierarchical, learning-based approach for automatic and accurate liver segmentation from 3D CT volumes. We target CT volumes that come from largely dive...
Haibin Ling, Shaohua Kevin Zhou, Yefeng Zheng, Bog...
ICCAD
2002
IEEE
142views Hardware» more  ICCAD 2002»
14 years 4 months ago
SAT and ATPG: Boolean engines for formal hardware verification
In this survey, we outline basic SAT- and ATPGprocedures as well as their applications in formal hardware verification. We attempt to give the reader a trace trough literature and...
Armin Biere, Wolfgang Kunz
ICDCS
2008
IEEE
14 years 1 months ago
PFC: Transparent Optimization of Existing Prefetching Strategies for Multi-Level Storage Systems
The multi-level storage architecture has been widely adopted in servers and data centers. However, while prefetching has been shown as a crucial technique to exploit the sequentia...
Zhe Zhang, Kyuhyung Lee, Xiaosong Ma, Yuanyuan Zho...
ISMIR
2005
Springer
120views Music» more  ISMIR 2005»
14 years 29 days ago
Improvements of Audio-Based Music Similarity and Genre Classificaton
Audio-based music similarity measures can be applied to automatically generate playlists or recommendations. In this paper spectral similarity is combined with complementary infor...
Elias Pampalk, Arthur Flexer, Gerhard Widmer
JBCB
2010
123views more  JBCB 2010»
13 years 5 months ago
Characterizing the Space of interatomic Distance Distribution Functions Consistent with Solution Scattering Data
: Scattering of neutrons and x-rays from molecules in solution offers alternative approaches to the studying of a wide range of macromolecular structures in their solution state w...
Paritosh A. Kavathekar, Bruce A. Craig, Alan M. Fr...