Sciweavers

CORR
2006
Springer
57views Education» more  CORR 2006»
13 years 8 months ago
Program Spectra Analysis in Embedded Software: A Case Study
Rui Abreu, Peter Zoeteweij, Arjan J. C. van Gemund
CORR
2006
Springer
141views Education» more  CORR 2006»
13 years 8 months ago
Ideas by Statistical Mechanics (ISM)
Ideas by Statistical Mechanics (ISM) is a generic program to model evolution and propagation of ideas/patterns throughout populations subjected to endogenous and exogenous interac...
Lester Ingber
CORR
2006
Springer
110views Education» more  CORR 2006»
13 years 8 months ago
Multiple Access Channels with State Information Known at Some Encoders
We consider a multiple access channel (MAC) with channel state information (CSI) non-causally known at some encoders. For simplicity of exposition, we focus on a two-encoder model...
Shivaprasad Kotagiri, J. Nicholas Laneman
CORR
2006
Springer
101views Education» more  CORR 2006»
13 years 8 months ago
List decoding of noisy Reed-Muller-like codes
A. Robert Calderbank, Anna C. Gilbert, Martin J. S...
CORR
2006
Springer
99views Education» more  CORR 2006»
13 years 8 months ago
Logical settings for concept learning from incomplete examples in First Order Logic
We investigate here concept learning from incomplete examples. Our first purpose is to discuss to what extent logical learning settings have to be modified in order to cope with da...
Dominique Bouthinon, Henry Soldano, Véroniq...
CORR
2006
Springer
94views Education» more  CORR 2006»
13 years 8 months ago
Representing graphs as the intersection of axis-parallel cubes
L. Sunil Chandran, Mathew C. Francis, Naveen Sivad...
CORR
2006
Springer
111views Education» more  CORR 2006»
13 years 8 months ago
Length-based cryptanalysis: The case of Thompson's Group
The length-based approach is a heuristic for solving randomly generated equations in groups which possess a reasonably behaved length function. We describe several improvements of ...
Dima Ruinskiy, Adi Shamir, Boaz Tsaban
CORR
2006
Springer
156views Education» more  CORR 2006»
13 years 8 months ago
Complex Lattice Reduction Algorithm for Low-Complexity MIMO Detection
Recently, lattice-reduction-aided detectors have been proposed for multiple-input multiple-output (MIMO) systems to give performance with full diversity like maximum likelihood rec...
Ying Hung Gan, Cong Ling, Wai Ho Mow