Sciweavers

755 search results - page 66 / 151
» Graph Transformation for Topology Modelling
Sort
View
VL
2005
IEEE
14 years 2 months ago
Transformation of UML State Machines for Direct Execution
Executable UML models are nowadays gaining interest in embedded systems design. This domain is strongly devoted to the modeling of reactive behavior using StateChart variants. In ...
Tim Schattkowsky, Wolfgang Müller 0003
ESOP
2011
Springer
13 years 9 days ago
Measure Transformer Semantics for Bayesian Machine Learning
Abstract. The Bayesian approach to machine learning amounts to inferring posterior distributions of random variables from a probabilistic model of how the variables are related (th...
Johannes Borgström, Andrew D. Gordon, Michael...
CORR
2008
Springer
115views Education» more  CORR 2008»
13 years 9 months ago
Positive circuits and maximal number of fixed points in discrete dynamical systems
We consider a product X of n finite intervals of integers, a map F from X to itself, the asynchronous state transition graph (F) on X that Thomas proposed as a model for the dynam...
Adrien Richard
GG
2010
Springer
13 years 10 months ago
A Component Concept for Typed Graphs with Inheritance and Containment Structures
Model-driven development (MDD) has become a promising trend in software engineering. The model-driven development of highly complex software systems may lead to large models which ...
Stefan Jurack, Gabriele Taentzer
GREC
2007
Springer
14 years 21 days ago
On the Joint Use of a Structural Signature and a Galois Lattice Classifier for Symbol Recognition
Abstract. In this paper, we propose a new approach for symbol recognition using structural signatures and a Galois Lattice as classifier. The structural signatures are based on top...
Mickaël Coustaty, Stéphanie Guillas, M...