7597 search results - page 32 / 1520 » On the design of metric relations |
110
click to vote
ICCAD
1996
IEEE
15 years 4 months ago
1996
IEEE
Functional simulation is the most widely used method for design verification. At various levels of abstraction, e.g., behavioral, register-transfer level and gate level, the design...
ECML
2000
Springer
15 years 4 months ago
2000
Springer
In the present paper we propose a consistent way to integrate syntactical least general generalizations (lgg's) with semantic evaluation of the hypotheses. For this purpose we...
100
click to vote
DAC
2002
ACM
16 years 1 months ago
2002
ACM
This paper presents novel uses of functional interface specifications for verifying RTL designs. We demonstrate how a simulation environment, a correctness checker, and a function...
ICIP
2008
IEEE
15 years 6 months ago
2008
IEEE
—Beyond conventional linear and kernel-based feature extraction, we present a more generalized formulation for feature extraction in this paper. Two representative algorithms usi...
66
Voted
CEC
2010
IEEE
15 years 1 months ago
2010
IEEE
In this paper, we introduce a new image database, consisting of examples of artists' work. Successful classification of this database suggests the capacity to automatically re...