103 search results - page 13 / 21 » Termination Criteria for Model Transformation |
103
click to vote
ICIP
1998
IEEE
16 years 1 months ago
1998
IEEE
In this paper, we extend the statistical model-based Estimation-Quantization (EQ) wavelet image coding algorithm introduced in [?] to include an adaptive transform component. For ...
BPM
2006
Springer
15 years 1 months ago
2006
Springer
Abstract. We propose a meta-meta framework architecture for supporting the behaviour based integration of two business processes. The meta-meta level provides basic integration ope...
106
click to vote
TCS
2002
14 years 11 months ago
2002
This paper discusses a mathematical concept of language that models both artificial and natural languages and thus provides a framework for a unified language processing methodolo...
ICIP
2004
IEEE
16 years 1 months ago
2004
IEEE
A fast mode decision method for Intra prediction in H.264 is proposed in this work to reduce the encoder complexity. The proposed algorithm adopts a multi-stage sequential mode de...
105
click to vote
IEICET
2007
14 years 11 months ago
2007
The completeness (i.e. confluent and terminating) property is an important concept when using a term rewriting system (TRS) as a computational model of functional programming lang...