523 search results - page 50 / 105 » codes 2011 |
111
Voted
ICASSP
2011
IEEE
14 years 4 months ago
2011
IEEE
This paper links two a priori different topics, group testing and traitor tracing. Group testing, as an instantiation of a compressed sensing problem over binary data, is indeed e...
79
Voted
ICASSP
2011
IEEE
14 years 4 months ago
2011
IEEE
The paper proposes a novel method for coding artifact reduction in compressed images. For removing blocking artifacts, a localized DCT-based filter with condition on the similari...
129
click to vote
ICST
2011
IEEE
14 years 4 months ago
2011
IEEE
—Generated test cases are good at systematically exploring paths and conditions in software. However, generated test cases often do not make sense. We adapt test case generation ...
168
click to vote
CAV
2011
Springer
14 years 4 months ago
2011
Springer
Abstract. BAP is a publicly available infrastructure for performing program verification and analysis tasks on binary (i.e., executable) code. In this paper, we describe BAP as we...
113
click to vote
ECCC
2011
14 years 4 months ago
2011
The last two decades have seen enormous progress in the development of sublinear-time algorithms — i.e., algorithms that examine/reveal properties of “data” in less time tha...