1117 search results - page 13 / 224 » Equivalent Representations of Set Functions |
COLING
1992
13 years 8 months ago
1992
A small fragment of the Systemic Functional Grammar of the PENMANsystem is reformulated in the Typed Feature Structure language. Through this reformulation wc gain full reversibil...
ICCV
2005
IEEE
14 years 9 months ago
2005
IEEE
Lighting variation is commonly handled by methods invariant to additive and multiplicative changes in image intensity. It has been demonstrated that comparing images using the dir...
JAIR
2007
13 years 7 months ago
2007
In the recent years several research efforts have focused on the concept of time granularity and its applications. A first stream of research investigated the mathematical model...
CGF
2010
13 years 4 months ago
2010
Signed distance functions (SDF) to explicit or implicit surface representations are intensively used in various computer graphics and visualization algorithms. Among others, they ...
DATE
2006
IEEE
14 years 1 months ago
2006
IEEE
Abstract: This paper addresses the problem of equivalence verification of RTL descriptions that implement arithmetic computations (add, mult, shift) over bitvectors that have di...