Sciweavers

958 search results - page 19 / 192
» Model Transformation Languages and Their Implementation by B...
Sort
View
AGTIVE
2003
Springer
15 years 5 months ago
Meta-Modelling, Graph Transformation and Model Checking for the Analysis of Hybrid Systems
Abstract. This paper presents the role of meta-modelling and graph transformation in our approach for the modelling, analysis and simulation of complex systems. These are made of c...
Juan de Lara, Esther Guerra, Hans Vangheluwe
CAMP
2005
IEEE
15 years 5 months ago
Implementing a Real-time Free-Viewpoint Video System on a PC-Cluster
Abstract— In this paper, we present a system generating freeviewpoint video in real-time using multiple cameras and a PCcluster. Our system firstly reconstructs a shape model of...
Megumu Ueda, Daisaku Arita, Rin-ichiro Taniguchi
ESOP
2011
Springer
14 years 3 months ago
A New Method for Dependent Parsing
Abstract. Dependent grammars extend context-free grammars by allowing semantic values to be bound to variables and used to constrain parsing. Dependent grammars can cleanly specify...
Trevor Jim, Yitzhak Mandelbaum
CSB
2004
IEEE
131views Bioinformatics» more  CSB 2004»
15 years 3 months ago
Improved Fourier Transform Method for Unsupervised Cell-Cycle Regulated Gene Prediction
Motivation: Cell-cycle regulated gene prediction using microarray time-course measurements of the mRNA expression levels of genes has been used by several researchers. The popular...
Karuturi R. Krishna Murthy, Liu Jian Hua
VL
2005
IEEE
105views Visual Languages» more  VL 2005»
15 years 5 months ago
A Formal Approach to the Generation of Visual Language Environments Supporting Multiple Views
In this paper we present a formal approach, based on meta-modelling and graph transformation, to the generation of environments for visual languages (VLs) supporting multiple view...
Esther Guerra, Paloma Díaz, Juan de Lara