Sciweavers

3921 search results - page 124 / 785
» Transforming Models with ATL
Sort
View
WSCG
2004
159views more  WSCG 2004»
15 years 2 months ago
A Fast Method for Applying Rigid Transformations to Volume Data
Volume rendering is a widespread method for displaying graphical models in fields such as medical visualization or engineering. The required image information is stored in a volum...
Jan Fischer, Ángel del Río
DCC
2006
IEEE
16 years 8 days ago
Analysis of Redundant-Wavelet Multihypothesis for Motion Compensation
An analysis is presented that examines multihypothesis motion-compensated video coding using a redundant wavelet transform to produce multiple predictions that are diverse in tran...
James E. Fowler
112
Voted
ARTS
1999
Springer
15 years 5 months ago
A Formal Model of Real-Time Program Compilation
Program compilation can be formally defined as a sequence of equivalence-preserving transformations, or refinements, from highlevel language programs to assembler code. Recent mo...
Karl Lermer, Colin J. Fidge
BIRTHDAY
2005
Springer
15 years 6 months ago
Simulating Algebraic High-Level Nets by Parallel Attributed Graph Transformation
The “classical” approach to represent Petri nets by graph transformation systems is to translate each transition of a specific Petri net to a graph rule (behavior rule). This ...
Claudia Ermel, Gabriele Taentzer, Roswitha Bardohl
136
Voted
ICASSP
2010
IEEE
15 years 26 days ago
Towards jointly optimal spatial prediction and adaptive transform in video/image coding
This paper proposes a new approach to combined spatial (Intra) prediction and adaptive transform coding in block-based video and image compression. Context-adaptive spatial predic...
Jingning Han, Ankur Saxena, Kenneth Rose