Sciweavers

2996 search results - page 56 / 600
» Numberings and Randomness
Sort
View
TIT
2008
102views more  TIT 2008»
13 years 9 months ago
Average Stopping Set Weight Distributions of Redundant Random Ensembles
In this paper, redundant random ensembles are defined and their average stopping set (SS) weight distributions are analyzed. A redundant random ensemble consists of a set of binar...
Tadashi Wadayama
APPROX
2004
Springer
125views Algorithms» more  APPROX 2004»
14 years 3 months ago
Strong Refutation Heuristics for Random k-SAT
A simple first moment argument shows that in a randomly chosen k-SAT formula with m clauses over n boolean variables, the fraction of satisfiable clauses is 1−2−k +o(1) as m/...
Amin Coja-Oghlan, Andreas Goerdt, André Lan...
CAV
2008
Springer
125views Hardware» more  CAV 2008»
13 years 12 months ago
Application of Formal Word-Level Analysis to Constrained Random Simulation
Abstract. Constrained random simulation is supported by constraint solvers integrated within simulators. These constraint solvers need to be fast and memory efficient to maintain s...
Hyondeuk Kim, HoonSang Jin, Kavita Ravi, Petr Spac...
IJAC
2008
97views more  IJAC 2008»
13 years 10 months ago
Random Generation of Finitely Generated Subgroups of a Free Group
We give an efficient algorithm to randomly generate finitely generated subgroups of a given size, in a finite rank free group. Here, the size of a subgroup is the number of vertic...
Frédérique Bassino, Cyril Nicaud, Pa...
CEE
2007
67views more  CEE 2007»
13 years 10 months ago
Turbo equalization for block fading MIMO channels using random signal mapping
We present a novel turbo equalization scheme for block fading MIMO channels, where diversity is achieved using random signal mapping. We show that the computational complexity of ...
Richard Demo Souza, Javier Garcia-Frias, Renato da...