962 search results - page 123 / 193 » Optimal Testing of Structured Knowledge |
164
Voted
GLVLSI
2002
IEEE
15 years 7 months ago
2002
IEEE
Spectral techniques have found many applications in computeraided design, including synthesis, verification, and testing. Decision diagram representations permit spectral coeffici...
114
click to vote
ICDAR
1997
IEEE
15 years 6 months ago
1997
IEEE
A document image analysis toolbox, including a collection of data structures and algorithms to suppbrt a variety of applications, is described in this paper. An experimental envir...
116
click to vote
DAC
1994
ACM
15 years 6 months ago
1994
ACM
We address the problem of obtaining good variable orderings for the BDD representation of a system of interacting finite state machines (FSMs). Orderings are derived from the comm...
121
Voted
ICASSP
2010
IEEE
15 years 2 months ago
2010
IEEE
According to Shannon Sampling Theory, Fourier interpolation is the optimal way to reach subpixel accuracy from a properly-sampled digital image. However, for most images this inte...
124
click to vote
HEURISTICS
2008
15 years 2 months ago
2008
In this article we investigate a new variant of Variable Neighborhood Search (VNS): Relaxation Guided Variable Neighborhood Search. It is based on the general VNS scheme and a new...