3238 search results - page 69 / 648 » On the Computational Interpretation of Negation |
ICIP
2002
IEEE
14 years 11 months ago
2002
IEEE
We study properties of the discrete cosine transform (DCT) when applied to an image sequence formed by uniformly translating a still image. The Fourier transform (FT) applied to s...
ESOP
2007
Springer
14 years 4 months ago
2007
Springer
tnesses for Abstract Interpretation-based Proofs Fr´ed´eric Besson, Thomas Jensen, and Tiphaine Turpin IRISA/{Inria, CNRS, Universit´e de Rennes 1} Campus de Beaulieu, F-35042 R...
HT
2005
ACM
14 years 3 months ago
2005
ACM
When reflecting on information, spatial hypermedia users express their understanding of the information’s structure visually. In order to facilitate this process, spatial hyperm...
FSTTCS
2005
Springer
14 years 3 months ago
2005
Springer
Abstract. We present a natural confluence of higher-order hereditary Harrop formulas (HH formulas), Constraint Logic Programming (CLP, [JL87]), and Concurrent Constraint Programmi...
UIST
1998
ACM
14 years 2 months ago
1998
ACM
Our goal is to provide tools to support working meetings on an electronic whiteboard, called Tivoli. This paper describes how we have integrated structured domain objects, which r...