305 search results - page 8 / 61 » From Sets to Bits in Coq |
ICDCS
2007
IEEE
15 years 5 months ago
2007
IEEE
BitTorrent is one of the most popular protocols for content distribution and accounts for more than 15% of the total Internet traffic. In this paper, we present an analytical mod...
114
click to vote
ICASSP
2011
IEEE
14 years 2 months ago
2011
IEEE
In this paper, a no reference bit stream model for quality assessment of SD and HD H.264/AVC video sequences based on packet loss visibility is proposed. The method considers the ...
ICASSP
2011
IEEE
14 years 2 months ago
2011
IEEE
This paper considers the problem of weak signal detection in the presence of navigation data bits for Global Navigation Satellite System (GNSS) receivers. Typically, a set of part...
PAM
2012
Springer
13 years 6 months ago
2012
Springer
Abstract. Workload characterization is important for understanding how systems and services are used in practice and to help identify design improvements. To better understand the ...
108
click to vote
CORR
2012
Springer
13 years 6 months ago
2012
Springer
This paper develops theoretical results regarding noisy 1-bit compressed sensing and sparse binomial regression. We demonstrate that a single convex program gives an accurate estim...