5525 search results - page 493 / 1105 » Verification of Model Transformations |
197
click to vote
WWW
2003
ACM
16 years 7 months ago
2003
ACM
This paper presents a design methodology that deals with the presentation aspects involved in the development of a Semantic Web Information System. The methodology is driven by tw...
174
click to vote
GECCO
2004
Springer
16 years 15 days ago
2004
Springer
We present a covariant form for genetic dynamics and show how different formulations are simply related by linear coordinate transformations. In particular, in the context of the ...
190
click to vote
ISMDA
2004
Springer
16 years 14 days ago
2004
Springer
This paper presents the modelling and segmentation with correction of inhomogeneity in magnetic resonance imaging of shoulder. For that purpose a new heuristic is proposed using a ...
185
click to vote
VLDB
2004
ACM
16 years 13 days ago
2004
ACM
PIVOT and UNPIVOT, two operators on tabular data that exchange rows and columns, enable data transformations useful in data modeling, data analysis, and data presentation. They ca...
190
click to vote
DL
1998
Springer
15 years 11 months ago
1998
Springer
In this paper we present a mechanism for translating information in heterogeneous digital library environments. We model information as a set of conjunctive constraints that are s...