Sciweavers

488 search results - page 61 / 98
» On the Formal Generation of Process Redesigns
Sort
View
FASE
2005
Springer
15 years 7 months ago
Termination Criteria for Model Transformation
Model Transformation has become central to most software engineering activities. It refers to the process of modifying a (usually graphical) model for the purpose of analysis (by i...
Hartmut Ehrig, Karsten Ehrig, Juan de Lara, Gabrie...
138
Voted
MM
2004
ACM
165views Multimedia» more  MM 2004»
15 years 7 months ago
Minimal structures for stories
Our research on Interactive Drama aims at conciliating interaction and story at the deepest level, the level of action. From a given story representation formalism, a set of eleme...
Nicolas Szilas, Jean-Hugues Réty
GEOS
2009
Springer
15 years 6 months ago
A Functional Ontology of Observation and Measurement
An ontology of observation and measurement is proposed, which models the relevant information processes independently of sensor technology. It is kept at a sufficiently general lev...
Werner Kuhn
VISUALIZATION
1994
IEEE
15 years 6 months ago
An Evaluation of Reconstruction Filters for Volume Rendering
To render images from a three-dimensional array of sample values, it is necessary to interpolate between the samples. This paper is concerned with interpolation methods that are e...
Stephen R. Marschner, Richard Lobb
129
Voted
COOPIS
2004
IEEE
15 years 5 months ago
Aligning Ontologies and Evaluating Concept Similarities
An innate characteristic of the development of ontologies is that they are often created by independent groups of expertise, which generates the necessity of merging and aligning o...
Kleber Xavier Sampaio de Souza, Joseph Davis