2192 search results - page 179 / 439 » Embedded function composition |
120
Voted
CORR
2011
Springer
14 years 8 months ago
2011
Springer
Anisotropic decompositions using representation systems such as curvelets, contourlet, or shearlets have recently attracted significantly increased attention due to the fact that...
107
Voted
ICIAR
2005
Springer
15 years 6 months ago
2005
Springer
Digital images are increasingly being used as steganographic covers for secret communication. The Least Significant Bit (LSB) encoding is one of the most widely used methods for e...
117
Voted
PCM
2004
Springer
15 years 6 months ago
2004
Springer
The paper presents a novel video watermarking scheme called Mapping Energy video Watermarking (MEW) for copyright protection. The watermark is embedded in the compressed domain and...
106
Voted
TPHOL
2002
IEEE
15 years 6 months ago
2002
IEEE
Abstract. This paper describes a formalization of the weakest precondition, wp, for general recursive programs using the type-theoretical proof assistant Coq. The formalization is ...
130
Voted
ERSA
2006
15 years 2 months ago
2006
Reconfigurable devices, such as FPGAs, introduce into the design workflow of embedded systems a new degree of freedom: the designer can have the system autonomously modify the fun...