Sciweavers

3888 search results - page 129 / 778
» Change-Driven Model Transformations
Sort
View
WSFM
2007
Springer
15 years 10 months ago
From BPEL to SRML: A Formal Transformational Approach
The SENSORIA Reference Modelling Language (SRML) provides primitives for modelling business processes in a technology agnostic way. At the core of SRML is the notion of module as a...
Laura Bocchi, Yi Hong, Antónia Lopes, Jos&e...
ICIP
2003
IEEE
16 years 6 months ago
Deformable face mapping for person identification
This paper introduces a novel deformable model for face mapping and its application to automatic person identification. While most face recognition techniques directly model the f...
Florent Perronnin, Jean-Luc Dugelay, Kenneth Rose
SCAM
2002
IEEE
15 years 9 months ago
Semantics Guided Filtering of Combinatorial Graph Transformations in Declarative Equation-Based Languages
This paper concerns the use of static analysis for debugging purposes of declarative object-oriented equation-based modeling languages. We propose a framework where over- and unde...
Peter Bunus, Peter Fritzson
ICST
2009
IEEE
15 years 2 months ago
Putting Formal Specifications under the Magnifying Glass: Model-based Testing for Validation
A software development process is conceptually an abstract form of model transformation, starting from an enduser model of requirements, through to a system model for which code c...
Emine G. Aydal, Richard F. Paige, Mark Utting, Jim...
ICDE
1999
IEEE
209views Database» more  ICDE 1999»
16 years 5 months ago
Efficient Time Series Matching by Wavelets
Time series stored as feature vectors can be indexed by multidimensional index trees like R-Trees for fast retrieval. Due to the dimensionality curse problem, transformations are ...
Kin-pong Chan, Ada Wai-Chee Fu