Sciweavers

4581 search results - page 22 / 917
» Computing Transformation Semigroups
Sort
View
ICMCS
2006
IEEE
112views Multimedia» more  ICMCS 2006»
14 years 1 months ago
An New Coefficients Transform Matrix for the Transform Domain MPEG-2 TO H.264/AVC Transcoding
In this paper, a fast transform method is proposed to convert MPEG-2 8-tap discrete cosine transform (DCT) coefficients to H.264/AVC 4-tap integer transform coefficients directly ...
Gao Chen, Shouxun Lin, Yongdong Zhang, Gang Cao
TIP
2010
124views more  TIP 2010»
13 years 5 months ago
The Discrete Shearlet Transform: A New Directional Transform and Compactly Supported Shearlet Frames
It is now widely acknowledged that analyzing the intrinsic geometrical features of the underlying image is essential in many applications including image processing. In order to a...
Wang-Q Lim
PAMI
2012
11 years 9 months ago
Nonlinear Shape Registration without Correspondences
—In this paper, we propose a novel framework to estimate the parameters of a diffeomorphism that aligns a known shape and its distorted observation. Classical registration method...
Csaba Domokos, Jozsef Nemeth, Zoltan Kato
ACTA
2004
86views more  ACTA 2004»
13 years 7 months ago
Specification transformers: a predicate transformer approach to composition
Abstract. This paper explores theories that help in (i) proving that a system composed from components satisfies a system specification given only specifications of components and ...
Michel Charpentier, K. Mani Chandy
GG
2004
Springer
14 years 23 days ago
Parallel Independence in Hierarchical Graph Transformation
Abstract. Hierarchical graph transformation as defined in [1, 2] extends double-pushout graph transformation in the spirit of term rewriting: Graphs are provided with hierarchical...
Annegret Habel, Berthold Hoffmann