7393 search results - page 35 / 1479 » Synthesis-for-testability using transformations |
AAAI
2004
14 years 11 months ago
2004
Sketch recognition systems are currently being developed for many domains, but can be time consuming to build if they are to handle the intricacies of each domain. This paper pres...
106
click to vote
TCSV
2008
14 years 9 months ago
2008
This paper proposes an efficient two-description image coding technique. The two side descriptions of an image are generated by quincunx subsampling. The decoding from any side des...
SIVP
2010
14 years 8 months ago
2010
We present a robust, hybrid non-blind MPEG video watermarking technique based on a high-order tensor singular value decomposition and the discrete wavelet transform (DWT). The core...
ICCAD
1996
IEEE
15 years 1 months ago
1996
IEEE
This paper presents a new framework for formal logic verification. What is depicted here is fundamentally different from previous approaches. In earlier approaches, the circuit is ...
SPIEVIP
2010
14 years 8 months ago
2010
Ship detection from satellite imagery is something that has great utility in various communities. Knowing where ships are and their types provides useful intelligence information....