1562 search results - page 53 / 313 » Convenience Over Correctness |
ISCAS
2006
IEEE
14 years 3 months ago
2006
IEEE
—In this paper, we present an overview of the JPWL standardization activity. JPWL is an extension of JPEG 2000 for the efficient transmission of JPEG 2000 images over an error-pr...
IDMS
2000
Springer
14 years 21 days ago
2000
Springer
Real-time audio over the best effort Internet often suffers from packet loss. At this time, Forward Error Correction (FEC) seems to be an efficient way to attenuate the impact of ...
CORR
2010
Springer
13 years 9 months ago
2010
Springer
The goal of this lecture is to show how modern theorem provers--in this case, the Coq proof assistant--can be used to mechanize the specification of programming languages and their...
ENTCS
2007
13 years 9 months ago
2007
In the theory of graph rewriting, the use of coalescing rules, i.e., of rules which besides deleting and generating graph items, can coalesce some parts of the graph, turns out to...
CVPR
2008
IEEE
14 years 11 months ago
2008
IEEE
We present a theoretical analysis for characterizing the shadows cast by a point light source given its relative position to the camera. In particular, we analyze the epipolar geo...