3987 search results - page 112 / 798 » Ontology-Based Model Transformation |
132
Voted
EDOC
2005
IEEE
15 years 9 months ago
2005
IEEE
In model driven development (MDD), specifying transformations between models at various levels of ion can be a complex task. Specifying transformations for pervasive system featur...
141
Voted
VMCAI
2010
Springer
16 years 28 days ago
2010
Springer
This paper investigates relative precision and optimality of analyses for concurrent probabilistic systems. Aiming at the problem at the heart of probabilistic model checking ? com...
133
Voted
ISLPED
1995
ACM
15 years 7 months ago
1995
ACM
In this paper we present a novel approach to model the search space for optimal set data types in network component realisations. The main objective is to arrive at power efficie...
127
Voted
ICPR
2000
IEEE
15 years 8 months ago
2000
IEEE
This work is intended to give some ideas to extract motion information from an image sequence. A directional energy is defined in terms of the 1-D Hermite transform coefficients o...
118
Voted
NIPS
2003
15 years 5 months ago
2003
We generalise the Gaussian process (GP) framework for regression by learning a nonlinear transformation of the GP outputs. This allows for non-Gaussian processes and non-Gaussian ...