8141 search results - page 20 / 1629 » Higher Order Generalization |
90
Voted
ENTCS
2008
15 years 25 days ago
2008
traction Kinds and Higher-Order Coercions Andreas Rossberg1 Max Planck Institute for Software Systems Saarbr
79
Voted
MKM
2007
Springer
15 years 7 months ago
2007
Springer
In this paper we address the problem of reconstructing a higher order, checkable proof object starting from a proof trace left by a first order automatic proof searching procedure...
ICC
2007
IEEE
15 years 7 months ago
2007
IEEE
— We present an optimization method for unequal error protection (UEP)-LDPC codes with higher order constellations. By modifying the density evolution algorithm under the Gaussia...
177
Voted
EUROCRYPT
1991
Springer
15 years 4 months ago
1991
Springer
Boolean functions that satisfy higher order propagation criteria are studied. A complete characterization is given of the autocorrelation function and Walsh spectrum of second ord...
IGARSS
2010
14 years 10 months ago
2010
Presented in this paper is a method of retrieving higher order statistical functions of the ocean wave surface from sunglint, or solar optical radiation specularly reflected from t...