7393 search results - page 131 / 1479 » Synthesis-for-testability using transformations |
111
click to vote
COLING
2000
15 years 4 months ago
2000
The recently completed MLIS DicoPro project addressed the need for a uniform, platformindependent interface for accessing multiple dictionaries and other lexical resources via the...
136
click to vote
ENTCS
2008
15 years 3 months ago
2008
In model-based software development, a complete design and analysis process involves designing the system using the design language, converting it into the analysis language, and ...
112
click to vote
TIP
1998
15 years 2 months ago
1998
—The distance transform has found many applications in image analysis. Chamfer distance transforms are a class of discrete algorithms that offer a good approximation to the desir...
121
click to vote
PEPM
2009
ACM
16 years 4 days ago
2009
ACM
This article introduces a new program transformation in order to enhance the numerical accuracy of floating-point computations. We consider that a program would return an exact r...
122
click to vote
ICPR
2008
IEEE
15 years 9 months ago
2008
IEEE
In this paper we apply the classic theory of Harmonic Analysis and the Conformal Geometric Algebra (CGA) to evaluate the Fourier transform on the unit sphere S2 and on the rotatio...