Sciweavers

1008 search results - page 5 / 202
» Canonicity!
Sort
View
CADE
2008
Springer
13 years 11 months ago
Canonical Inference for Implicational Systems
Completion is a general paradigm for applying inferences to generate a canonical presentation of a logical theory, or to semi-decide the validity of theorems, or to answer queries....
Maria Paola Bonacina, Nachum Dershowitz
COMBINATORICS
2006
158views more  COMBINATORICS 2006»
13 years 9 months ago
Reduced Canonical Forms of Stoppers
The reduced canonical form of a loopfree game G is the simplest game infinitesimally close to G. Reduced canonical forms were introduced by Calistrate, and Grossman and Siegel pro...
Aaron N. Siegel
PLANX
2007
13 years 11 months ago
Deciding Equivalence of Top-Down XML Transformations in Polynomial Time
Many useful XML transformations can be formulated through deterministic top-down tree transducers. A canonical form for such transducers is presented which allows to decide equiva...
Sebastian Maneth, Helmut Seidl
WCE
2007
13 years 11 months ago
VHDL Implementation of Multiplierless, High Performance DWT Filter Bank
—The JPEG 2000 image coding standard employs the biorthogonal 9/7 wavelet for lossy compression. The performance of hardware implementation of 9/7-filter bank depends on accuracy...
M. M. Aswale, R. B. Patil