Sciweavers

4057 search results - page 79 / 812
» Linear combination of transformations
Sort
View
DLOG
2001
13 years 11 months ago
Combining Tableaux and Algebraic Methods for Reasoning with Qualified Number Restrictions
This paper investigates an optimization technique for reasoning with qualified number restrictions in the description logic ALCQHR+ . We present a hybrid architecture where a stan...
Volker Haarslev, Martina Timmann, Ralf Möller
ICPR
2002
IEEE
14 years 11 months ago
Multi-Scale Autoconvolution for Affine Invariant Pattern Recognition
This paper describes a novel image transform called Multi-Scale Autoconvolution which is invariant with respect to affine transformations of the spatial image coordinates. The tra...
Janne Heikkilä
ICIP
2007
IEEE
14 years 4 months ago
Infinity-Norm Rotation for Reversible Data Hiding
In this paper, we propose a novel transform that preserves the dynamic range—infinity-norm rotation. This transform is perfectly reversible and piecewise linear, and keeps the m...
Lei Yang, Pengwei Hao
ICPR
2000
IEEE
14 years 2 months ago
Optic-Flow Information Extraction with Directional Gaussian-Derivatives
This work is intended to give some ideas to extract motion information from an image sequence. A directional energy is defined in terms of the 1-D Hermite transform coefficients o...
J. Luis Silván-Cárdenas, Boris Escal...
TOPLAS
1998
52views more  TOPLAS 1998»
13 years 9 months ago
Within ARM's Reach: Compilation of Left-Linear Rewrite Systems via Minimal Rewrite Systems
A new compilation technique for left-linear term-rewriting systems is presented, where rewrite rules are transformed into so-called minimal rewrite rules. These minimal rules have...
Wan Fokkink, Jasper Kamperman, Pum Walters