5056 search results - page 16 / 1012 » Network Coding Theory |
ICFP
2002
ACM
15 years 9 months ago
2002
ACM
We present the type theory LTT, intended to form a basis for typed target languages, providing an internal notion of logical proposition and proof. The inclusion of explicit proof...
103
click to vote
ISCAS
2006
IEEE
15 years 3 months ago
2006
IEEE
JPEG2000, the new standard for still image coding, Quantization, user defined wavelets, arbitrary wavelet provides a new framework and an integrated toolbox to better decomposition...
TSP
2010
14 years 4 months ago
2010
Abstract--In this paper, we deal with the problem of constrained code optimization for radar space-time adaptive processing (STAP) in the presence of colored Gaussian disturbance. ...
BIOSIG
2003
14 years 11 months ago
2003
: A new biometric system is proposed which replaces the template match known from presently used biometric systems by a more powerful approach that uses error tolerant coding. This...
COCO
2001
Springer
15 years 2 months ago
2001
Springer