671 search results - page 58 / 135 » Computer Aided Modelling Exercises |
DAC
2003
ACM
14 years 11 months ago
2003
ACM
Exploring a large portion of the microprocessor design space requires the rapid development of efficient simulators. While some systems support rapid model development through the...
ICPR
2002
IEEE
14 years 2 months ago
2002
IEEE
This paper presents a new framework for recovering superquadrics with global deformations from multi-view real range data. The framework aims at improving confidence and accuracy...
CAV
2000
Springer
14 years 1 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 ...
DAC
2009
ACM
14 years 2 months ago
2009
ACM
We present a novel technique for Sequential Equivalence Checking (SEC) between non-cycle-accurate designs. The problem is routinely encountered in verifying the correctness of a s...
CVPR
2000
IEEE
14 years 12 months ago
2000
IEEE
Zebra-crossings are useful road features for outdoor navigation in mobility aids for the partially sighted. In this paper, zebra-crossings are detected by looking for groups of co...