5012 search results - page 445 / 1003 » Distributed Error Correction |
164
click to vote
ECCC
2007
15 years 6 months ago
2007
An error correcting code is said to be locally testable if there is a test that checks whether a given string is a codeword, or rather far from the code, by reading only a constan...
165
click to vote
FFA
2007
15 years 6 months ago
2007
From a rational convex polytope of dimension r ≥ 2 J.P. Hansen constructed an error correcting code of length n = (q−1)r over the finite field Fq. A rational convex polytope...
152
click to vote
COMCOM
2000
15 years 6 months ago
2000
We explain how the formal language LOTOS can be used to specify security protocols and cryptographic operations. We describe how security properties can be modelled as safety prop...
197
click to vote
IJDAR
2000
15 years 6 months ago
2000
Abstract. Automatic recognition of mathematical expressions is one of the key vehicles in the drive towards transcribing documents in scientific and engineering disciplines into el...
190
click to vote
VLDB
2002
ACM
15 years 6 months ago
2002
ACM
Query optimization is a computationally intensive process, especially for complex queries. We present here a tool, called PLASTIC, that can be used by query optimizers to amortize...