1562 search results - page 9 / 313 » Convenience Over Correctness |
CORR
2008
Springer
13 years 9 months ago
2008
Springer
In this paper, a simple and effective tool for the design of low-density parity-check (LDPC) codes for iterative correction of bursts of erasures is presented. The design method co...
LICS
2008
IEEE
14 years 3 months ago
2008
IEEE
LF is a dependent type theory in which many other formal systems can be conveniently embedded. However, correct use of LF relies on nontrivial metatheoretic developments such as p...
ICIP
2010
IEEE
13 years 7 months ago
2010
IEEE
This paper presents a novel level set approach to simultaneous tissue segmentation and bias correction of Magnetic Resonance Imaging (MRI) images. We first model the distribution ...
ARCS
2006
Springer
14 years 22 days ago
2006
Springer
: We investigate image steganography under re-encoding of images. After a secret message or a digital watermark is embedded into a jpeg image, quite frequently the image is re-enco...
IJCAI
1989
13 years 10 months ago
1989
In this paper, we address an issue that arises when the background knowledge used by explanationbased learning is incorrect. In particular, we consider the problems that can be ca...