6045 search results - page 258 / 1209 » Computable Linearizations of Well-partial-orderings |
217
click to vote
DCC
2005
IEEE
16 years 6 months ago
2005
IEEE
Minimum-entropy decoding is a universal decoding algorithm used in decoding block compression of discrete memoryless sources as well as block transmission of information across di...
238
click to vote
ICIP
2008
IEEE
16 years 1 months ago
2008
IEEE
The structural similarity (SSIM) metric and its multi-scale extension (MS-SSIM) evaluate visual quality with a modied local measure of spatial correlation consisting of three c...
167
click to vote
SIBGRAPI
2006
IEEE
16 years 1 months ago
2006
IEEE
The single triangle-strip loop generation algorithm on a triangulated two-manifold presented by Gopi and Eppstein [4] is based on the guaranteed existence of a perfect matching in...
190
click to vote
ACCV
2006
Springer
16 years 1 months ago
2006
Springer
An occluding contour of a sphere is projected to a conic in the perspective image, and such a conic is called a sphere image. Recently, it has been discovered that each sphere imag...
189
click to vote
BIRTHDAY
2003
Springer
16 years 14 days ago
2003
Springer
Equivalence between designs is a fundamental notion in verification. The linear and branching approaches to verification induce different notions of equivalence. When the designs...