1071 search results - page 88 / 215 » The Calculus of Algebraic Constructions |
156
click to vote
CORR
2011
Springer
14 years 10 months ago
2011
Springer
—Multiple Input Double Output (MIDO) asymmetric space-time codes for 4 transmit antennas and 2 receive antennas can be employed in the downlink from base stations to portable dev...
171
click to vote
TLDI
2010
ACM
16 years 3 months ago
2010
ACM
In the GADT (Generalized Algebraic Data Types) type system, a pattern-matching branch can draw type information from both the scrutinee type and the data constructor type. Even th...
163
Voted
DATE
2002
IEEE
15 years 11 months ago
2002
IEEE
The market demand for portable multimedia applications has exploded in the recent years. Unfortunately, for such applications current compilers and software optimization methods o...
181
click to vote
EUROCRYPT
2008
Springer
15 years 8 months ago
2008
Springer
Consider an abstract storage device (G) that can hold a single element x from a fixed, publicly known finite group G. Storage is private in the sense that an adversary does not hav...
154
click to vote
CORR
2006
Springer
15 years 6 months ago
2006
Springer
A Space-Time Block Code (STBC) in K symbols (variables) is called g-group decodable STBC if its maximumlikelihood decoding metric can be written as a sum of g terms such that each ...