Sciweavers

6434 search results - page 47 / 1287
» Model Transformations with Reference Models
Sort
View
ENTCS
2008
110views more  ENTCS 2008»
13 years 10 months ago
An Efficient Solution for Model Checking Graph Transformation Systems
This paper presents an efficient solution for modeling checking graph transformation systems. The approach transforms AGG specifications into Bogor models and supports both attribu...
Luciano Baresi, Vahid Rafe, Adel Torkaman Rahmani,...
EOR
2000
64views more  EOR 2000»
13 years 9 months ago
Determination of weights of interacting criteria from a reference set
In this paper, we present a model allowing to determine the weights related to interacting criteria. This is done on the basis of the knowledge of a partial ranking over a referen...
Jean-Luc Marichal, Marc Roubens
ICMCS
2007
IEEE
163views Multimedia» more  ICMCS 2007»
14 years 4 months ago
Using Deformable Surface Models to Derive a DCT-Like 2D Transform
This paper introduces a ¢¤£ discrete, non-separable transform for image processing, which can be regarded as a combination of the well known Discrete Cosine Transform (DCT) wit...
Michail Krinidis, Nikos Nikolaidis, Ioannis Pitas
LKR
2008
13 years 11 months ago
On the Representation of Perceptual Knowledge for Understanding Reference Expressions
Abstract. Recent research has enabled important progress in developing agents aimed at real-world linguistic interaction with humans. Hence, within the general shift of research fo...
Philipp Spanger, Takenobu Tokunaga
ICPR
2006
IEEE
14 years 4 months ago
Optimal Global Mosaic Generation from Retinal Images
We present a method to construct a mosaic from multiple color and fluorescein retinal images. A set of images taken from different views at different times is difficult to registe...
Tae Eun Choe, Isaac Cohen, Mun Wai Lee, Gér...