3987 search results - page 205 / 798 » Ontology-Based Model Transformation |
125
click to vote
ICFP
2003
ACM
15 years 9 months ago
2003
ACM
In this paper we extend the model of program variables from the Refinement Calculus [2] in order to be able to reason more algebraically about recursive procedures with parameter...
150
click to vote
LICS
1997
IEEE
15 years 8 months ago
1997
IEEE
In this paper, we incorporate a representation of the non-negative extended real numbers based on the composition of linear fractional transformations with nonnegative integer coe...
142
click to vote
ICALP
2000
Springer
15 years 8 months ago
2000
Springer
Graph processes are used in order to formalize the relation between global requirement specifications of multi-agent systems by means of message sequence charts, and implementatio...
EMNLP
2007
15 years 5 months ago
2007
This paper describes ETK (Ensemble of Transformation based Keys) a new algorithm for inducing search keys for name filtering. ETK has the low computational cost and ability to ...
PR
2000
15 years 4 months ago
2000
: Identifying PSL(2, C) as a projective group for patterns in the conformal camera model, the projective harmonic analysis on its double covering group SL(2, C) is presented in the...