Sciweavers

152 search results - page 10 / 31
» Full Abstraction for Reduced ML
Sort
View
GLOBECOM
2006
IEEE
14 years 2 months ago
Non-linear Turbo Codes for Interleaver-Division Multiple Access on the OR Channel
Abstract— This paper presents an Interleaver-Division Multiple Access (IDMA) based architecture with single-user decoding using parallel concatenated non-linear trellis codes (PC...
Miguel Griot, Andres I. Vila Casado, Richard D. We...
ICFP
2005
ACM
14 years 8 months ago
Acute: high-level programming language design for distributed computation
Existing languages provide good support for typeful programming of standalone programs. In a distributed system, however, there may be interaction between multiple instances of ma...
Peter Sewell, James J. Leifer, Keith Wansbrough, F...
ICFP
2005
ACM
14 years 8 months ago
Scrap your nameplate: (functional pearl)
Recent research has shown how boilerplate code, or repetitive code for traversing datatypes, can be eliminated using generic programming techniques already available within some i...
James Cheney
ECAI
2010
Springer
13 years 9 months ago
Learning When to Use Lazy Learning in Constraint Solving
Abstract. Learning in the context of constraint solving is a technique by which previously unknown constraints are uncovered during search and used to speed up subsequent search. R...
Ian P. Gent, Christopher Jefferson, Lars Kotthoff,...
TWC
2008
100views more  TWC 2008»
13 years 8 months ago
Generalized feedback detection for spatial multiplexing multi-antenna systems
Abstract-- We present a unified detection framework for spatial multiplexing multiple-input multiple-output (MIMO) systems by generalizing Heller's classical feedback decoding...
Tao Cui, Chintha Tellambura