156 search results - page 3 / 32 » Verifying Model Transformations by Structural Correspondence |
CAISE
2009
Springer
13 years 9 months ago
2009
Springer
Mapping specification has been recognised as a critical bottleneck to the large scale deployment of data integration systems. A mapping is a description using which data structured...
DOCENG
2004
ACM
13 years 10 months ago
2004
ACM
We show that an XML DTD (Document Type Definition) can be viewed as the fixed point of a parametric content model. We then use natural transformations from the source content mo...
ICPR
2002
IEEE
13 years 10 months ago
2002
IEEE
Two novel computational techniques, harmonic cut and regularized centroid transform, are developed for segmentation of cells and their corresponding substructures observed with an...
EMNLP
2007
13 years 6 months ago
2007
In Sequential Viterbi Models, such as HMMs, MEMMs, and Linear Chain CRFs, the type of patterns over output sequences that can be learned by the model depend directly on the model...
APSEC
2002
IEEE
13 years 10 months ago
2002
IEEE
UML is a modeling language that most developers employed during design phase. UML provides various types of diagrams used for specifying both the structure and the behavior of sys...