484 search results - page 36 / 97 » Computer-Aided Computing |
ICCAD
2005
IEEE
14 years 4 months ago
2005
IEEE
A novel and very simple correct-by-construction top-down methodology for high-utilization mixed-size placement is presented. The PolarBear algorithm combines recursive cutsize-dri...
CAV
2000
Springer
13 years 11 months ago
2000
Springer
xample-Guided Abstraction Refinement for Symbolic Model Checking EDMUND CLARKE YUAN LU Carnegie Mellon University, Pittsburgh, Pennsylvania Broadcom Co., San Jose, California ORNA ...
ISBI
2009
IEEE
14 years 2 months ago
2009
IEEE
CT colonography is a screening technique for adenomatous colorectal polyps, which are important precursors to colon cancer. Computer aided detection (CAD) systems are developed to...
DATE
2006
IEEE
14 years 1 months ago
2006
IEEE
The problem of diagnosis – or locating the source of an error or fault – occurs in several areas of Computer Aided Design, such as dynamic verification, property checking, eq...
HICSS
2002
IEEE
14 years 15 days ago
2002
IEEE
Traditional Computer-Aided Teaching and Learning (CAT/CAL) environments in multimedia-based teleeducation do not empower knowledge consumers (trainees, students etc.) to practice ...