671 search results - page 37 / 135 » Computer Aided Modelling Exercises |
DAC
2004
ACM
14 years 11 months ago
2004
ACM
In this paper, we systematically define three transaction level TLMs), which reside at different levels of abstraction between the functional and the implementation model of a DSP...
ICCAD
2003
IEEE
14 years 6 months ago
2003
IEEE
Symbolic image computation is the most fundamental computation in BDD-based sequential system optimization and formal verification. In this paper, we explore the use of over-appr...
DAC
2004
ACM
14 years 3 months ago
2004
ACM
Considering layout effects early in the analog design process is becoming increasingly important. We propose techniques for estimating parasitic capacitances based on look-up tabl...
HCI
2009
13 years 7 months ago
2009
Abstract. Operators on naval ships have to act in dynamic, critical and highdemand task environments. For these environments, a cognitive task load (CTL) model has been proposed as...
ICPR
2008
IEEE
14 years 11 months ago
2008
IEEE
We present a semi-Markov model for recognizing scene text that integrates character and word segmentation with recognition. Using wavelet features, it requires only approximate lo...