755 search results - page 49 / 151 » Sequential Diagnosis by Abstraction |
ICCAD
2007
IEEE
14 years 4 months ago
2007
IEEE
— Computing counterexamples is a crucial task for error diagnosis and debugging of sequential systems. If an implementation does not fulfill its specification, counterexamples ...
CVBIA
2005
Springer
14 years 1 months ago
2005
Springer
Accurate and robust estimation of the three-dimensional left ventricular geometry and deformation has important clinical implications for better diagnosis and understanding of isch...
GRAPHICSINTERFACE
2001
13 years 9 months ago
2001
An image sequence is a series of interrelated images. To enable navigation of large image sequences, many current software packages display small versions of the images, called th...
JVCIR
2006
13 years 7 months ago
2006
Computed tomography (CT) images have been widely used for diagnosis of liver disease and volume measurement for liver surgery or transplantation. Automatic liver segmentation and ...
RECOMB
2010
Springer
13 years 9 months ago
2010
Springer
Abstract. Emerging research demonstrates the potential of proteinprotein interaction (PPI) networks in uncovering the mechanistic bases of cancers, through identification of intera...