1008 search results - page 5 / 202 » Canonicity! |
PAMI
2000
14 years 12 months ago
2000
Abstract
104
click to vote
CADE
2008
Springer
15 years 2 months ago
2008
Springer
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....
COMBINATORICS
2006
15 years 4 days ago
2006
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...
PLANX
2007
15 years 1 months ago
2007
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...
WCE
2007
15 years 1 months ago
2007
—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...