4413 search results - page 103 / 883 » New Directions for CACM |
200
click to vote
ICFEM
2009
Springer
15 years 3 months ago
2009
Springer
Abstract. Certificate translation is a method that transforms certificates of source programs into certificates of their compilation. It provides strong guarantees on low-level cod...
281
click to vote
VCIP
2000
15 years 7 months ago
2000
Subjective assessment methods have been used reliably for many years to evaluate video quality. They continue to provide the most reliable assessments compared to objective method...
120
Voted
ICIP
2005
IEEE
16 years 7 months ago
2005
IEEE
This paper proposes a new technique in wavelet video compression that exploits the spatiotemporal regularity of the video. A sequence of frames is said to be regular along the dire...
145
click to vote
HPCS
2005
IEEE
15 years 11 months ago
2005
IEEE
Abstract— Optimization of a similarity metric is an essential component in most medical image registration approaches based on image intensities. In this paper, two new, determin...
153
click to vote
CIE
2005
Springer
15 years 11 months ago
2005
Springer
We promote the concept of object directed computability in computational geometry in order to faithfully generalise the wellestablished theory of computability for real numbers and...