Sciweavers

1880 search results - page 135 / 376
» A Fact-Oriented Approach to Activity Modeling
Sort
View
ICSE
2005
IEEE-ACM
14 years 9 months ago
Transformations of software models into performance models
It is widely recognized that in order to make performance validation an integrated activity along the software lifecycle it is crucial to be supported from automated approaches. E...
Vittorio Cortellessa, Antinisca Di Marco, Paola In...
AH
2008
Springer
14 years 3 months ago
Learner Modelling in Exploratory Learning for Mathematical Generalisation
Exploratory learning supports creative thinking, allowing learners to control their own learning process, whilst it provides them with help and guidance when necessary. This pedago...
Mihaela Cocea
MICCAI
2006
Springer
14 years 10 months ago
Improving Segmentation of the Left Ventricle Using a Two-Component Statistical Model
Abstract. Quality of segmentations obtained by 3D Active Appearance Models (AAMs) crucially depends on underlying training data. MRI heart data, however, often come noisy, incomple...
Jirí Hladuvka, Katja Bühler, Sebastian...
FASE
2005
Springer
14 years 2 months ago
Termination Criteria for Model Transformation
Model Transformation has become central to most software engineering activities. It refers to the process of modifying a (usually graphical) model for the purpose of analysis (by i...
Hartmut Ehrig, Karsten Ehrig, Juan de Lara, Gabrie...
CIBB
2009
13 years 10 months ago
On the Use of Temporal Formal Logic to Model Gene Regulatory Networks
Modelling activities in molecular biology face the difficulty of prediction to link molecular knowledge with cell phenotypes. Even when the interaction graph between molecules is k...
Gilles Bernot, Jean-Paul Comet