660 search results - page 29 / 132 » The EMF Model Transformation Framework |
143
click to vote
QEST
2010
IEEE
14 years 9 months ago
2010
IEEE
We consider Markov Decision Processes (MDPs) as transformers on probability distributions, where with respect to a scheduler that resolves nondeterminism, the MDP can be seen as ex...
121
click to vote
ICIP
2004
IEEE
16 years 1 months ago
2004
IEEE
We present a novel approach for highway traffic event detection. Our algorithm extracts features directly from the compressed video and automatically detects traffic events using ...
87
Voted
CDC
2009
IEEE
15 years 4 months ago
2009
IEEE
— Scanning transmission electron microscopes are indispensable tools for material science research, since they can reveal the internal structure of a wide range of specimens. Thu...
100
click to vote
SAC
2006
ACM
15 years 5 months ago
2006
ACM
Transforming models is a critical activity in Model Driven Engineering (MDE). With the expected adoption of the OMG QVT standard for model transformation language it is anticipate...
113
click to vote
JUCS
2002
14 years 11 months ago
2002
: This paper presents a framework for representing formal semantics of a subset of the Unified Modeling Language (UML) notation in a higher-order logic, more specifically semantics...