253 search results - page 38 / 51 » Optimal Extension of Error Correcting Output Codes |
PICS
2003
13 years 9 months ago
2003
Device characterization typically involves generating one or more targets each comprising a number of color patches and making colorimetric measu...
STOC
2003
ACM
14 years 8 months ago
2003
ACM
This paper provides the first explicit construction of extractors which are simultaneously optimal up to constant factors in both seed length and output length. More precisely, fo...
TIP
2002
13 years 7 months ago
2002
Abstract--We propose an approach to accurately detecting twodimensional (2-D) shapes. The cross section of the shape boundary is modeled as a step function. We first derive a one-d...
TAP
2010
Springer
13 years 5 months ago
2010
Springer
Program verification systems based on automated theorem provers rely on user-provided axioms in order to verify domain-specific properties of code. However, formulating axioms corr...
ICIP
2006
IEEE
14 years 9 months ago
2006
IEEE
Video transmission over networks is getting increasingly important, thus upcoming network types like Mobile Ad-Hoc Networks (MANETs) can also become a suitable platform for exchan...