Sciweavers

ICMT
2011
Springer
12 years 7 months ago
Toward Bidirectionalization of ATL with GRoundTram
ATL is a language for describing model transformations currently in uni-direction. In our previous work we have shown that transformations of graph structures given in some form ca...
Isao Sasano, Zhenjiang Hu, Soichiro Hidaka, Kazuhi...
FASE
2011
Springer
12 years 7 months ago
Type-Safe Evolution of Spreadsheets
Abstract. Spreadsheets are notoriously error-prone. To help avoid the introduction of errors when changing spreadsheets, models that capture the structure and interdependencies of ...
Jácome Cunha, Joost Visser, Tiago L. Alves,...
GG
2008
Springer
13 years 4 months ago
Formal Analysis of Model Transformations Based on Triple Graph Rules with Kernels
Abstract. Triple graph transformation has become an important approach for model transformations. Triple graphs consist of a source, a target and a connection graph. The correspond...
Hartmut Ehrig, Ulrike Prange
MODELS
2007
Springer
13 years 9 months ago
Introducing Variability into Aspect-Oriented Modeling Approaches
Aspect-Oriented Modeling (AOM) approaches propose to model reusable aspects, or cross-cutting concerns, that can be composed in different systems at a model or code level. Buildin...
Philippe Lahire, Brice Morin, Gilles Vanwormhoudt,...
ICMT
2009
Springer
13 years 10 months ago
A Simple Game-Theoretic Approach to Checkonly QVT Relations
Abstract. The QVT Relations (QVT-R) transformation language allows the definition of bidirectional model transformations, which are required in cases where a two (or more) models ...
Perdita Stevens
ICASSP
2009
IEEE
13 years 10 months ago
Humming-based human verification and identification
This paper considers humming-based human verification and identification systems. Humming of a target person is modeled as a Gaussian mixture model, and the matching score betwe...
Minho Jin, Jaewook Kim, Chang D. Yoo
ICIP
2000
IEEE
14 years 5 months ago
Mean Shift and Optimal Prediction for Efficient Object Tracking
A new paradigm for the efficient color-based tracking of objects seen from a moving camera is presented. The proposed technique employs the mean shift analysis to derive the targe...
Dorin Comaniciu, Visvanathan Ramesh
CVPR
2007
IEEE
14 years 5 months ago
Kernel-based Tracking from a Probabilistic Viewpoint
In this paper, we present a probabilistic formulation of kernel-based tracking methods based upon maximum likelihood estimation. To this end, we view the coordinates for the pixel...
Quang Anh Nguyen, Antonio Robles-Kelly, Chunhua Sh...
CVPR
2000
IEEE
14 years 5 months ago
Real-Time Tracking of Non-Rigid Objects Using Mean Shift
A new method for real-time tracking of non-rigid objects seen from a moving camera is proposed. The central computational module is based on the mean shift iterations and nds the ...
Dorin Comaniciu, Visvanathan Ramesh, Peter Meer