Sciweavers

155 search results - page 10 / 31
» Towards a Unified View of Model Mapping and Transformation
Sort
View
CAIP
2009
Springer
182views Image Analysis» more  CAIP 2009»
14 years 1 months ago
New Lane Model and Distance Transform for Lane Detection and Tracking
Particle filtering of boundary points is a robust way to estimate lanes. This paper introduces a new lane model in correspondence to this particle filterbased approach, which is ...
Ruyi Jiang, Reinhard Klette, Tobi Vaudrey, Shigang...
CC
2007
Springer
14 years 15 days ago
Program Refactoring, Program Synthesis, and Model-Driven Development
Program refactoring, feature-based and aspect-oriented software synthesis, and model-driven development are disjoint research areas. However, they are all architectural metaprogram...
Don S. Batory
ESWS
2009
Springer
13 years 6 months ago
Towards an Agent Based Approach for Verification of OWL-S Process Models
Abstract. In this paper we investigate the transformation of OWL-S process models to ISPL - the system description language for MCMAS, a symbolic model checker for multi agent syst...
Alessio Lomuscio, Monika Solanki
FMOODS
2006
13 years 10 months ago
Defining Object-Oriented Execution Semantics Using Graph Transformations
In this paper we describe an application of the theory of graph transformations to the practise of language design. In particular, we have defined the static and dynamic semantics ...
Harmen Kastenberg, Anneke Kleppe, Arend Rensink
MLMI
2004
Springer
14 years 1 months ago
Mapping from Speech to Images Using Continuous State Space Models
In this paper a system that transforms speech waveforms to animated faces are proposed. The system relies on continuous state space models to perform the mapping, this makes it po...
Tue Lehn-Schiøler, Lars Kai Hansen, Jan Lar...