5138 search results - page 236 / 1028 » Randomized Algorithms for 3-SAT |
180
click to vote
TIT
2010
15 years 1 months ago
2010
In this paper, a method for the asymptotic analysis of generalized low-density parity-check (GLDPC) codes and doubly generalized low-density parity-check (D-GLDPC) codes over the b...
178
click to vote
ICASSP
2011
IEEE
14 years 10 months ago
2011
IEEE
Spectral imaging is of interest in many applications, including wide-area airborne surveillance, remote sensing, and tissue spectroscopy. Coded aperture spectral snapshot imaging ...
133
click to vote
ICASSP
2011
IEEE
14 years 10 months ago
2011
IEEE
Discriminative tracking has become popular tracking methods due to their descriptive power for foreground/background separation. Among these methods, online random forest is recen...
229
click to vote
PTS
2010
15 years 4 months ago
2010
We present a novel algorithm for test data generation that is based on techniques used in formal software verification. Prominent examples of such formal techniques are symbolic ex...
183
click to vote
TSP
2008
15 years 6 months ago
2008
In this paper, we consider the problem of estimating an unknown deterministic parameter vector in a linear regression model with random Gaussian uncertainty in the mixing matrix. W...