313 search results - page 8 / 63 » Error Correction Based on Verification Techniques |
127
click to vote
MMSEC
2006
ACM
15 years 3 months ago
2006
ACM
We present an efficient JPEG2000-based image authentication scheme, which is robust to JPEG compression and other allowed signal processing operations. Positive wavelet-based wate...
APN
2000
Springer
15 years 1 months ago
2000
Springer
Abstract. Workflow management technology promises a flexible solution facilitating the easy creation of new business processes and modification of existing ones. Unfortunately, mos...
BIRTHDAY
2006
Springer
15 years 1 months ago
2006
Springer
In earlier work, we presented an abstraction-refinement mechanism that was successful in verifying automatically the partial correctness of in-situ list reversal when applied to an...
SSS
2010
Springer
14 years 7 months ago
2010
Springer
Design and implementation of distributed algorithms often involve many subtleties due to their complex structure, non-determinism, and low atomicity as well as occurrence of unanti...
154
Voted
IH
2007
Springer
15 years 3 months ago
2007
Springer
Abstract. Hard decisions constitute the major problem in digital watermarking applications, especially when content adaptive embedding methods are used. Soft-decision decoding, on ...