15792 search results - page 2790 / 3159 » Computational Abstraction Steps |
183
click to vote
ICCAD
1996
IEEE
15 years 11 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...
195
click to vote
COLT
1997
Springer
15 years 11 months ago
1997
Springer
Abstract. We propose a convex optimization approach to solving the nonparametric regression estimation problem when the underlying regression function is Lipschitz continuous. This...
152
click to vote
CP
1997
Springer
15 years 11 months ago
1997
Springer
Abstract. Combinatorial search methods often exhibit a large variability in performance. We study the cost pro les of combinatorial search procedures. Our study reveals some intrig...
177
click to vote
ICDT
1997
ACM
15 years 11 months ago
1997
ACM
Abstract Method invocation mechanism is one of the essential features in objectoriented programming languages. This mechanism contributes to data encapsulation and code reuse, but ...
151
click to vote
IDMS
1997
Springer
15 years 11 months ago
1997
Springer
Abstract. This paper describes WIPETM (Wavelet Image Pornography Elimination), an algorithm capable of classifying an image as objectionable or benign. The algorithm uses a combina...