3634 search results - page 333 / 727 » The Field Representation Language |
189
click to vote
POPL
2010
ACM
16 years 4 months ago
2010
ACM
The method of logical relations is a classic technique for proving the equivalence of higher-order programs that implement the same observable behavior but employ different intern...
176
click to vote
DOCENG
2007
ACM
15 years 10 months ago
2007
ACM
In spite of the high profile of media types such as video, audio and images, many multimedia presentations rely extensively on text content. Text can be used for incidental labels...
142
click to vote
ICIP
2003
IEEE
16 years 8 months ago
2003
IEEE
The Hermite Transform is an image representation model that incorporates some important properties of visual perception such as the analysis through overlapping receptive fields a...
199
click to vote
ICIP
1999
IEEE
16 years 8 months ago
1999
IEEE
This paper highlights recent advancesin image compression aided by 3-D geometry information. As two examples, we present a model-aided video coder for efficient compression of hea...
188
click to vote
CADE
2007
Springer
16 years 7 months ago
2007
Springer
The E-KRHyper system is a model generator and theorem prover for first-order logic with equality. It implements the new E-hyper tableau calculus, which integrates a superposition-b...