7393 search results - page 369 / 1479 » Synthesis-for-testability using transformations |
149
click to vote
ICASSP
2011
IEEE
14 years 8 months ago
2011
IEEE
This paper presents a new algorithm based on shift-invariant probabilistic latent component analysis that analyzes harmonic structures in an audio signal. Each note in a constant-...
149
Voted
JCPHY
2011
14 years 7 months ago
2011
A new numerical method for approximating highly oscillatory wave fields as a superposition of Gaussian beams is presented. The method estimates the number of beams and their para...
127
click to vote
ICS
2003
Tsinghua U.
15 years 10 months ago
2003
Tsinghua U.
Cache behavior modeling is an important part of modern optimizing compilers. In this paper we present a method to estimate the number of cache misses, at compile time, using a mac...
195
click to vote
IJCV
1998
15 years 4 months ago
1998
Many computer and robot vision applications require multi-scale image analysis. Classically, this has been accomplished through the use of a linear scale-space, which is constructe...
151
click to vote
BIRTHDAY
2005
Springer
15 years 10 months ago
2005
Springer
abstract. In this paper we investigate a formalism for solving planning problems based on ordered task decomposition using Answer Set Programming (ASP). Our planning methodology is...