Andere Kunden interessierten sich auch für
![Solving Higher-Order Equations]( "Solving Higher-Order Equations")
Solving Higher-Order Equations79,99 €![Higher Order Logic Theorem Proving and Its Applications]( "Higher Order Logic Theorem Proving and Its Applications")
Higher Order Logic Theorem Proving and Its Applications40,99 €![Higher Order Logic Theorem Proving and Its Applications]( "Higher Order Logic Theorem Proving and Its Applications")
Higher Order Logic Theorem Proving and Its Applications40,99 €![Theorem Proving in Higher Order Logics]( "Theorem Proving in Higher Order Logics")
Theorem Proving in Higher Order Logics39,99 €![Theorem Proving in Higher Order Logics]( "Theorem Proving in Higher Order Logics")
Theorem Proving in Higher Order Logics39,99 €![Theorem Proving in Higher Order Logics]( "Theorem Proving in Higher Order Logics")
Theorem Proving in Higher Order Logics39,99 €![Applied Artificial Higher Order Neural Networks for Control and Recognition]( "Applied Artificial Higher Order Neural Networks for Control and Recognition")
Applied Artificial Higher Order Neural Networks for Control and Recognition252,99 €
Chillies is a novel approach for variable model transformations closing the gap between abstract architecture models, used for performance prediction, and required low-level details. We enable variability of transformations using chain of generators based on the Higher-Order Transformation (HOT). HOTs target different goals, such as template instantiation or transformation composition. In addition, we discuss state-dependent behavior in prediction models and quality of model transformations.