7393 search results - page 396 / 1479 » Synthesis-for-testability using transformations |
134
click to vote
FTSIG
2008
15 years 5 months ago
2008
The purpose of this two-part monograph is to present a tutorial on set partition coding, with emphasis and examples on image wavelet transform coding systems, and describe their u...
147
click to vote
ENTCS
2006
15 years 5 months ago
2006
We compare the expressive power of Hoare (i.e., CSP style) and Milner (i.e., CCS style) synchronizations for defining graph transformations in a framework where edges can perform ...
110
click to vote
NA
2006
15 years 5 months ago
2006
Abstract. The present article summarizes the state of the art algorithms to compute the discrete Moreau envelope, and presents a new linear-time algorithm, named NEP for NonExpansi...
121
click to vote
SCP
2008
15 years 5 months ago
2008
This paper shows that program algebra (PGA) [8] offers a mathematical and systematic framework for reasoning about correctness and equivalence of algorithms and transformation rul...
149
click to vote
TKDE
2008
15 years 5 months ago
2008
The linear discriminant analysis (LDA) technique is very popular in pattern recognition for dimensionality reduction. It is a supervised learning technique that finds a linear tran...