7393 search results - page 30 / 1479 » Synthesis-for-testability using transformations |
CVPR
2011
IEEE
14 years 1 months ago
2011
IEEE
Camera shake is a common source of degradation in photographs. Restoring blurred pictures is challenging because both the blur kernel and the sharp image are unknown, which makes ...
118
click to vote
JAR
2008
14 years 9 months ago
2008
This article presents the formal verification, using the Coq proof assistant, of a memory model for low-level imperative languages such as C and compiler intermediate languages. Be...
CVPR
1997
IEEE
15 years 11 months ago
1997
IEEE
We propose a new machine learning paradigm called Graph Transformer Networks that extends the applicability of gradient-based learning algorithms to systems composed of modules th...
CEC
2009
IEEE
15 years 4 months ago
2009
IEEE
— In this paper, we use Genetic Programming (GP) to define a set of transforms on the space of greyscale images. The motivation is to allow an evolutionary algorithm means of tr...
78
Voted
ICASSP
2007
IEEE
15 years 4 months ago
2007
IEEE
Audio segmentation has applications in a variety of contexts, such as audio information retrieval, automatic sound analysis, and as a pre-processing step in speech recognition. Ex...