6201 search results - page 173 / 1241 » Implementation of Axiomatic Language |
138
click to vote
AMAST
2000
Springer
15 years 9 months ago
2000
Springer
Abstract. Algebraic compilers provide a powerful and convenient mechanism for specifying language translators. With each source language operation one associates a computation for ...
143
click to vote
SAC
2006
ACM
15 years 10 months ago
2006
ACM
This paper studies ways for modularizing transformation definitions in current rule-based model transformation languages. Two scenarios are shown in which the modular units are id...
243
click to vote
ICDE
1997
IEEE
16 years 6 months ago
1997
IEEE
The need to transform data between heterogeneous databases arises from a number of critical tasks in data management. These tasks are complicated by schema evolution in the underl...
161
click to vote
IEAAIE
2005
Springer
15 years 10 months ago
2005
Springer
The present work investigates the problem of determining a learning path inside a suitable domain ontology. The proposed approach enables the user of a web learning application to ...
125
click to vote
IWINAC
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. The brain representations of words and their referent actions and objects appear to be strongly coupled neuronal assemblies distributed over several cortical areas. In th...