363 search results - page 54 / 73 » The SAT Phase Transition |
93
Voted
IEEEHPCS
2010
15 years 2 months ago
2010
The stochastic Greenberg-Hastings cellular automaton is a model that mimics the propagation of reaction-diffusion waves in active media. Notably, this model undergoes a phase tran...
155
Voted
FOCM
2011
14 years 10 months ago
2011
We develop a new mathematical model for describing a dynamical system at limited resolution (or finite scale), and we give precise meaning to the notion of a dynamical system havi...
122
Voted
IJPP
2011
14 years 10 months ago
2011
Data-parallel accelerator devices such as Graphical Processing Units (GPUs) are providing dramatic performance improvements over even multicore CPUs for lattice-oriented applicatio...
139
Voted
ICASSP
2011
IEEE
14 years 7 months ago
2011
IEEE
—Nuclear norm minimization (NNM) has recently gained attention for its use in rank minimization problems. In this paper, we define weak, sectional and strong recovery for NNM to...
127
Voted
CISS
2010
IEEE
14 years 7 months ago
2010
IEEE
—This paper considers the reconstruction of structured-sparse signals from noisy linear observations. In particular, the support of the signal coefficients is parameterized by h...