120 search results - page 13 / 24 » A Word-to-Word Model of Translational Equivalence |
CAISE
2008
Springer
13 years 9 months ago
2008
Springer
Abstract. The model management operator ModelGen translates a schema expressed in one modelling language into an equivalent schema expressed in another modelling language, and in a...
DCC
2006
IEEE
14 years 7 months ago
2006
IEEE
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...
ADBIS
2004
Springer
14 years 25 days ago
2004
Springer
Abstract. In today’s global environment, the structure and presentation of information may depend on the underlying context of the user. To address this issue, in previous work w...
TACAS
2005
Springer
14 years 27 days ago
2005
Springer
Abstract. Symmetry reduction is a technique to combat the state explosion problem in temporal logic model checking. Its use with symbolic representation has suffered from the proh...
SPLC
2007
13 years 8 months ago
2007
Feature modeling is a notation and an approach for modeling commonality and variability in product families. In their basic form, feature models contain mandatory/optional feature...