4057 search results - page 55 / 812 » Linear combination of transformations |
ICALP
2010
Springer
14 years 12 hour ago
2010
Springer
Abstract. Given a family of subsets of an n-element universe, the kcover problem asks whether there are k sets in the family whose union contains the universe; in the k-packing pro...
ICMCS
2007
IEEE
14 years 4 months ago
2007
IEEE
This paper introduces a ¢¤£ discrete, non-separable transform for image processing, which can be regarded as a combination of the well known Discrete Cosine Transform (DCT) wit...
ICIP
1994
IEEE
14 years 2 months ago
1994
IEEE
We present a new image coding scheme based on an unification of fractal and transform coding. We introduce a generalization of the luminance transformation used by fractal coding ...
ENTCS
2008
13 years 10 months ago
2008
This paper presents an efficient solution for modeling checking graph transformation systems. The approach transforms AGG specifications into Bogor models and supports both attribu...
LICS
1999
IEEE
14 years 2 months ago
1999
IEEE
We prove full completeness of multiplicative linear logic (MLL) without MIX under the Chu interpretation. In particular we show that the cut-free proofs of MLL theorems are in a n...