Sciweavers

1518 search results - page 18 / 304
» Cryptographic Test Correction
Sort
View
ARITH
2001
IEEE
14 years 2 months ago
Worst Cases for Correct Rounding of the Elementary Functions in Double Precision
We give the results of our search for the worst cases for correct rounding of the major elementary functions in double precision floating-point arithmetic. These results allow the...
Vincent Lefèvre, Jean-Michel Muller
CORR
2008
Springer
129views Education» more  CORR 2008»
13 years 11 months ago
A polytime proof of correctness of the Rabin-Miller algorithm from Fermat's little theorem
Although a deterministic polytime algorithm for primality testing is now known ([4]), the Rabin-Miller randomized test of primality continues being the most efficient and widely u...
Grzegorz Herman, Michael Soltys
ISCAS
2006
IEEE
140views Hardware» more  ISCAS 2006»
14 years 4 months ago
Multilevel flash memory on-chip error correction based on trellis coded modulation
This paper presents a multilevel (ML) Flash memory onchip error correction system design based on the concept of trellis coded modulation (TCM). This is motivated by the non-trivi...
Fei Sun, Siddharth Devarajan, Kenneth Rose, Tong Z...
ANLP
1992
117views more  ANLP 1992»
14 years 14 hour ago
Detecting and Correcting Morpho-syntactic Errors in Real Texts
This paper presents a system which detects and corrects morpho-syntactic errors in Dutch texts. It includes a spelling corrector and a shift-reduce parser for Augmented Context-fr...
Theo Vosse
SIGIR
2009
ACM
14 years 5 months ago
Score adjustment for correction of pooling bias
Information retrieval systems are evaluated against test collections of topics, documents, and assessments of which documents are relevant to which topics. Documents are chosen fo...
William Webber, Laurence A. F. Park