4057 search results - page 116 / 812 » Linear combination of transformations |
119
click to vote
JLP
2006
15 years 4 months ago
2006
We present an algorithm for the linearization of hybrid processes modeled in hybrid process algebra (HyPA) and prove its correctness. HyPA is a formalism that is suitable for the ...
144
click to vote
ICIP
2001
IEEE
16 years 6 months ago
2001
IEEE
This work considers the efficient coding of hyperspectral images. The shape-adaptive DCT is extended to the three-dimensional case. Both the 3D-SA-DCT and the conventional 3D-DCT ...
151
click to vote
LOPSTR
2009
Springer
15 years 11 months ago
2009
Springer
Proving termination of, or generating efficient control for Constraint Handling Rules (CHR) programs requires information about the kinds of constraints that can show up in the CHR...
139
click to vote
UML
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. With the advent of Model Driven Architecture, OCL constraints are no longer necessarily written by humans. They can be part of models that emerge from a chain of transfor...
181
click to vote
IMR
1998
Springer
15 years 9 months ago
1998
Springer
Quad-morphing is a new technique used for generating quadrilaterals from an existing triangle mesh. Beginning with an initial triangulation, triangles are systematically transform...