31 search results - page 6 / 7 » A New One-Pass Transformation into Monadic Normal Form |
ICMCS
2006
IEEE
13 years 11 months ago
2006
IEEE
The distribution of the wavelet coefficients in 2-D discrete wavelet transform (DWT) subspaces can be well described by a Gaussian mixture statistical model. In this paper, a secr...
TOG
2002
13 years 4 months ago
2002
We introduce new techniques for modelling with interpolating implicit surfaces. This form of implicit surface was first used for problems of surface reconstruction [24] and shape ...
JELIA
2004
Springer
13 years 10 months ago
2004
Springer
We briefly overview the most recent improvements we have incorporated to the existent implementations of the TAS methodology, the simplified ∆-tree representation of formulas i...
IGARSS
2009
13 years 2 months ago
2009
A problem when working with optical satellite or airborne images is the need to compensate for changes in the illumination conditions at the time of acquisition. This is particula...
CADE
1998
Springer
13 years 9 months ago
1998
Springer
Abstract. leanK is a "lean", i.e., extremely compact, Prolog implementation of a free variable tableau calculus for propositional modal logics. leanK 2.0 includes additio...