3987 search results - page 475 / 798 » Ontology-Based Model Transformation |
185
click to vote
CADE
2005
Springer
16 years 12 days ago
2005
Springer
Abstract. Pocket KRHyper is a reasoning system for Java-enabled mobile devices. The core of the system is a first order theorem prover and model generator based on the hyper table...
171
click to vote
COORDINATION
2005
Springer
16 years 12 days ago
2005
Springer
Abstract. We present a framework for modelling heterogeneous distributed systems using graph transformations in the Synchronized Hyperedge Replacement approach, which describes com...
157
click to vote
IBPRIA
2005
Springer
16 years 12 days ago
2005
Springer
We present in this paper the application of mathematical morphology operators through a transformation of the Cartesian image into another geometric space, i.e. pol-log image. The ...
182
click to vote
NIME
2005
Springer
16 years 11 days ago
2005
Springer
In this paper we present an example of the use of the singing voice as a controller for digital music synthesis. The analysis of the voice with spectral processing techniques, der...
167
click to vote
MICAI
2004
Springer
16 years 7 days ago
2004
Springer
Image metamorphosis, commonly known as morphing, is a powerful tool for visual effects that consists of the fluid transformation of one digital image into another. There are many t...