6434 search results - page 162 / 1287 » Model Transformations with Reference Models |
SIMUTOOLS
2008
13 years 11 months ago
2008
Model checking is a suitable formal technique to analyze parallel programs' execution in an industrial context because automated tools can be designed and operated with very ...
PDP
2008
IEEE
14 years 4 months ago
2008
IEEE
Parallel programming models based on a mixture of task and data parallelism have shown to be successful in addressing the increasing communication overhead of distributed memory p...
MTA
2007
13 years 10 months ago
2007
Abstract. In this paper we address the problem of comparing multimedia documents, which can be described according to different reference models. If we consider presentations as c...
ICIP
2004
IEEE
14 years 12 months ago
2004
IEEE
Using the concepts of two-dimensional Hilbert transform and analytic signal, we construct a new quaternion wavelet transform (QWT). The QWT forms a tight frame and can be efficien...
TSMC
2002
13 years 10 months ago
2002
Image transfer is a method for projecting a 3D scene from two or more reference images. Typically, the correspondences of target points to be transferred and the reference points m...