Sciweavers

5012 search results - page 105 / 1003
» Distributed Error Correction
Sort
View
156
Voted
LISP
2006
76views more  LISP 2006»
15 years 4 months ago
Semantics of roundoff error propagation in finite precision calculations
We introduce a concrete semantics for floating-point operations which describes the propagation of roundoff errors throughout a calculation. This semantics is used to assert the co...
Matthieu Martel
NPL
2006
109views more  NPL 2006»
15 years 4 months ago
CB3: An Adaptive Error Function for Backpropagation Training
Effective backpropagation training of multi-layer perceptrons depends on the incorporation of an appropriate error or objective function. Classification-based (CB) error functions ...
Michael Rimer, Tony Martinez
IPPS
2008
IEEE
15 years 11 months ago
What is the best way to prove a cryptographic protocol correct?
In this paper, we identify that protocol verification using invariants have significant limitations such as inapplicability to some protocols, non-standard attacker inferences a...
Sreekanth Malladi, Gurdeep S. Hura
ICCS
2005
Springer
15 years 10 months ago
Numerically Stable Real Number Codes Based on Random Matrices
Abstract — Error correction codes defined over realnumber and complex-number fields have been studied and recognized as useful in many applications. However, most real-number a...
Zizhong Chen, Jack Dongarra
IFIP
2009
Springer
15 years 11 months ago
Enhancing Progressive Encryption for Scalable Video Streams
The technique called progressive encryption is used in many areas of content security. However, the plain algorithm itself is only applicable in real transmission scenarios where n...
Viktor Gergely, Gábor Fehér