1060 search results - page 143 / 212 » Notes on Coding Theory |
95
Voted
ICASSP
2011
IEEE
14 years 6 months ago
2011
IEEE
Filter bank optimization for specific input statistics has been of great interest in both theory and practice in many signal processing applications. In this paper we consider bi...
117
Voted
INFOCOM
2011
IEEE
14 years 6 months ago
2011
IEEE
—Anti-jamming communication without pre-shared secrets has gained increasing research interest recently and is commonly tackled by utilizing the technique of uncoordinated freque...
124
Voted
CADE
2001
Springer
16 years 3 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...
125
Voted
WWW
2004
ACM
16 years 3 months ago
2004
ACM
Studying Web graphs is often difficult due to their large size. Recently, several proposals have been published about various techniques that allow to store a Web graph in memory ...
251
Voted
POPL
2009
ACM
16 years 3 months ago
2009
ACM
Memory models define an interface between programs written in some language and their implementation, determining which behaviour the memory (and thus a program) is allowed to hav...