484 search results - page 48 / 97 » Computer-Aided Computing |
DAC
2004
ACM
14 years 8 months ago
2004
ACM
Parametric representations used for symbolic simulation of circuits usually use BDDs. After a few steps of symbolic simulation, state set representation is converted from one para...
DAC
2005
ACM
14 years 8 months ago
2005
ACM
el Predicate Abstraction and Refinement for Verifying RTL Verilog Himanshu Jain CMU SCS, Pittsburgh, PA 15213 Daniel Kroening ETH Z?urich, Switzerland Natasha Sharygina CMU SCS an...
ICIP
2005
IEEE
14 years 9 months ago
2005
IEEE
A recent trend in digital mammography are Computer-Aided Diagnosis systems, which are computerised tools designed to assist radiologists. Most of these systems are used for the au...
ICIP
2009
IEEE
14 years 8 months ago
2009
IEEE
Colorectal cancer includes cancer of the colon, rectum, anus and appendix. Since it is largely preventable, it is extremely important to detect and treat the colorectal cancer in ...
ISBI
2004
IEEE
14 years 8 months ago
2004
IEEE
Cardio-vascular diseases is a major cause of deaths worldwide. Early diagnosis is quite often associated with more efficient treatment leading to a significant decrease of the mor...