3317 search results - page 112 / 664 » Strategies in Rigid-Variable Methods |
121
click to vote
PCM
2001
Springer
15 years 8 months ago
2001
Springer
In this paper, a new adaptive watermarking scheme for uncompressed and compressed video is presented. The proposed method embeds the watermark in DC components by quantizing DC coe...
125
click to vote
CADE
2000
Springer
15 years 8 months ago
2000
Springer
Abstract. This article introduces two techniques to improve the propagation efficiency of CSP based finite model generation methods. One approach consists in statically rewriting ...
136
click to vote
DEXAW
1999
IEEE
15 years 8 months ago
1999
IEEE
This work addresses a problem of optimal query processing in heterogeneous and distributed multidatabase systems. The objective is to nd a method for opimization of global query p...
130
click to vote
ENTCS
2002
15 years 4 months ago
2002
This article discusses mutation testing strategies in the context of refinement. Here, a novel generalization of mutation testing techniques is presented to be applied to contract...
108
Voted
HOST
2009
IEEE
15 years 8 months ago
2009
IEEE
Hardware Trojans in integrated circuits and systems have become serious concern to fabless semiconductor industry and government agencies in recent years. Most of the previously p...