3735 search results - page 166 / 747 » Order compression schemes |
103
Voted
APLAS
2010
ACM
15 years 1 months ago
2010
ACM
Abstract. We propose a new method to verify that a higher-order, treeprocessing functional program conforms to an input/output specification. Our method reduces the verification pr...
102
Voted
TWC
2008
15 years 20 days ago
2008
This contribution investigates semi-blind adaptive spatial filtering or equalisation for multiple-input multiple-output (MIMO) systems that employ high-throughput quadrature amplit...
118
click to vote
PEPM
2011
ACM
14 years 3 months ago
2011
ACM
Passing multiple continuation arguments to a function in CPS form allows one to encode a wide variety of direct-style control constructs, such as conditionals, exceptions, and mul...
90
Voted
SPIRE
2009
Springer
15 years 7 months ago
2009
Springer
We introduce a symbol reordering technique that implicitly synchronizes variable-length codes, such that it is possible to directly access the i-th codeword without need of any sam...
99
Voted
FCCM
2002
IEEE
15 years 5 months ago
2002
IEEE
NASA’s satellites currently do not make use of advanced image compression techniques during data transmission to earth because of limitations in the available platforms. With th...