143 search results - page 12 / 29 » Language-Based Information Erasure |
CORR
2008
Springer
13 years 8 months ago
2008
Springer
Network coding increases throughput and is robust against failures and erasures. However, since it allows mixing of information within the network, a single corrupted packet genera...
CORR
2011
Springer
13 years 10 days ago
2011
Springer
Consider a linear [n, k, d]q code C. We say that that i-th coordinate of C has locality r, if the value at this coordinate can be recovered from accessing some other r coordinates...
CADE
2001
Springer
14 years 9 months ago
2001
Springer
Proof assistants based on type theories, such as Coq and Lego, allow users to omit subterms on input that can be inferred automatically. While those mechanisms are well known, ad-h...
TLCA
2009
Springer
14 years 3 months ago
2009
Springer
Taha and Nielsen have developed a multi-stage calculus λα with a sound type system using the notion of environment classifiers. They are special identifiers, with which code fr...
PUC
2000
13 years 8 months ago
2000
This paper considers how we may provide support for the development of general design principles in domestic environments. In particular we examine the potential for using design p...