1034 search results - page 63 / 207 » Small Pi01 Classes |
ICASSP
2011
IEEE
14 years 2 months ago
2011
IEEE
Recently, the statistical restricted isometry property (STRIP) has been formulated to analyze the performance of deterministic sampling matrices for compressed sensing. In this pa...
ICASSP
2011
IEEE
14 years 2 months ago
2011
IEEE
Given its pervasive use, and being a clear example of a computing system integrating hardware and software, Digital Signal Processing (DSP) is an important discipline in Computer ...
103
click to vote
AAAI
2011
13 years 10 months ago
2011
We study iterative randomized greedy algorithms for generating (elimination) orderings with small induced width and state space size - two parameters known to bound the complexity...
121
click to vote
CVPR
2012
IEEE
13 years 1 months ago
2012
IEEE
We identify and study two types of “accidental” images that can be formed in scenes. The first is an accidental pinhole camera image. These images are often mistaken for shad...
CADE
2012
Springer
13 years 1 months ago
2012
Springer
Abstract. Reachability and LTL model-checking problems for flat counter systems are known to be decidable but whereas the reachability problem can be shown in NP, the best known c...