6434 search results - page 55 / 1287 » Model Transformations with Reference Models |
COLING
1994
13 years 11 months ago
1994
In conversation,a person sometimeshasto refer to anobjectthat is not previously known to the other participant. We present a planbased model of how agents collaborate on reference...
IFM
2010
Springer
13 years 7 months ago
2010
Springer
In this paper we describe techniques for the specification and verification of model transformations using a combination of UML and formal methods. The use of UML 2 notations to s...
VIP
2001
13 years 11 months ago
2001
A two-step elastic medical image registration approach is proposed, which is based on the image intensity. In the first step, the global affine medical image registration is used ...
ENTCS
2006
13 years 10 months ago
2006
In this study, we introduce a model transformation tool for a time-triggered language: Giotto. The tool uses graphs to represent the source code (Giotto) and the target (the sched...
PRL
2010
13 years 4 months ago
2010
The general setting of regression analysis is to identify a relationship between a response variable Y and one or several explanatory variables X by using a learning sample. In a ...