7393 search results - page 310 / 1479 » Synthesis-for-testability using transformations |
120
Voted
ISCAS
2005
IEEE
15 years 10 months ago
2005
IEEE
— Multidimensional or group independent component analysis describes the task of transforming a multivariate observed sensor signal such that groups of the transformed signal com...
139
click to vote
ICICS
2005
Springer
15 years 10 months ago
2005
Springer
A reversible watermarking algorithm with large capacity has been developed by applying the difference expansion of a generalized integer transform. In this algorithm, a watermark ...
165
click to vote
PAKDD
2005
ACM
15 years 10 months ago
2005
ACM
: While feature selection is very difficult for high dimensional, unstructured data such as face image, it may be much easier to do if the data can be faithfully transformed into l...
148
click to vote
LPAR
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. To produce a program guaranteed to satisfy a given specification one can synthesize it from a formal constructive proof that a computation satisfying that specification...
153
click to vote
PDP
2003
IEEE
15 years 10 months ago
2003
IEEE
Over the last decade, a dramatic increase has been observed in the need for generating and organising data in the course of large parameter studies, performance analysis, and soft...