Sciweavers

2916 search results - page 153 / 584
» Generating Rule Sets from Model Trees
Sort
View
LOPSTR
2007
Springer
15 years 10 months ago
Snapshot Generation in a Constructive Object-Oriented Modeling Language
CooML is an object-oriented modeling language where specifications are theories in a constructive logic designed to handle incomplete information. In this logic we view snapshots ...
Mauro Ferrari, Camillo Fiorentini, Alberto Momigli...
GG
2010
Springer
15 years 2 months ago
Formal Analysis of Functional Behaviour for Model Transformations Based on Triple Graph Grammars
Abstract. Triple Graph Grammars (TGGs) are a well-established concept for the specification of model transformations. In previous work we have formalized and analyzed already cruc...
Frank Hermann, Hartmut Ehrig, Fernando Orejas, Ulr...
ISVC
2009
Springer
15 years 10 months ago
Weight, Sex, and Facial Expressions: On the Manipulation of Attributes in Generative 3D Face Models
Generative 3D Face Models are expressive models with applications in modelling and editing. They are learned from example faces, and offer a compact representation of the continuou...
Brian Amberg, Pascal Paysan, Thomas Vetter
JUCS
2008
119views more  JUCS 2008»
15 years 4 months ago
A Standards-based Modelling Approach for Dynamic Generation of Adaptive Learning Scenarios
: One of the key problems in developing standard based adaptive courses is the complexity involved in the design phase, especially when establishing the hooks for the dynamic model...
Jesus Boticario, Olga C. Santos
LPNMR
2007
Springer
15 years 10 months ago
General Default Logic
Abstract. In this paper, we present a logic R for rule bases by introducing a set of rule connectives. We define both the models and extensions of a rule base. The semantics of ex...
Yi Zhou, Fangzhen Lin, Yan Zhang