207 search results - page 32 / 42 » Canonical Forms for Data-Specifications |
ISQED
2003
IEEE
15 years 3 months ago
2003
IEEE
This paper describes the use of integer equations for high level modeling digital circuits for application of formal verification properties at this level. Most formal verificatio...
CDC
2009
IEEE
15 years 2 months ago
2009
IEEE
— The moment problem matured from its various special forms in the late 19th and early 20th Centuries to a general class of problems that continues to exert profound influence o...
ASPDAC
2007
ACM
15 years 1 months ago
2007
ACM
- Advanced process technologies impose more significant challenges especially when manufactured circuits exhibit substantial process variations. Consideration of process variations...
DIAL
2004
IEEE
15 years 1 months ago
2004
IEEE
In this paper, a method based on part-of-speech tagging (PoS) is used for bibliographic reference structure. This method operates on a roughly structured ASCII file, produced by O...
GFKL
2006
Springer
15 years 1 months ago
2006
Springer
Stemming algorithms find canonical forms for inflected words, e. g. for declined nouns or conjugated verbs. Since such a unification of words with respect to gender, number, time, ...