3690 search results - page 201 / 738 » Computation with classical sequents |
98
Voted
MCS
2001
Springer
15 years 5 months ago
2001
Springer
One of the main factors affecting the effectiveness of ECOC methods for classification is the dependence among the errors of the computed codeword bits. We present an extensive ...
101
Voted
DCOSS
2006
Springer
15 years 4 months ago
2006
Springer
We propose a generic communication primitive designed for sensor networks. Our primitive hides details of network communication while retaining sufficient programmer control over t...
124
Voted
CSL
2008
Springer
15 years 2 months ago
2008
Springer
Quantitative generalizations of classical languages, which assign to each word a real number instead of a boolean value, have applications in modeling resource-constrained computat...
71
Voted
COMPUTING
2007
15 years 20 days ago
2007
The Krawczyk and the Hansen-Sengupta interval operators are closely related to the interval Newton operator. These interval operators can be used as existence tests to prove exist...
124
Voted
DCC
2011
IEEE
14 years 7 months ago
2011
IEEE
We show that (n, 2n ) additive codes over GF(4) can be represented as directed graphs. This generalizes earlier results on self-dual additive codes over GF(4), which correspond to ...