660 search results - page 33 / 132 » The EMF Model Transformation Framework |
EUROMICRO
1996
IEEE
15 years 4 months ago
1996
IEEE
SHE (Software/Hardware Engineering) is an objectoriented analysis, specification and design method for complex reactive hardware/software systems. SHE is based on the formal speci...
113
click to vote
NMELP
1994
15 years 3 months ago
1994
In this paper, we propose a new constructive characterization of those semantics for disjunctive logic programs which are extensions of the well-founded semantics for normal progra...
CVPR
2008
IEEE
16 years 1 months ago
2008
IEEE
Sparse representation in compressive sensing is gaining increasing attention due to its success in various applications. As we demonstrate in this paper, however, image sparse rep...
160
click to vote
ER
1995
Springer
15 years 3 months ago
1995
Springer
We describe a (meta) formalism for defining a variety of (object oriented) data models in a unified framework based on a variation of first-order logic. As specific example we use...
SIGGRAPH
1997
ACM
15 years 4 months ago
1997
ACM
In this paper, we introduce the progressive simplicial complex (PSC) representation, a new format for storing and transmitting triangulated geometric models. Like the earlier prog...