4187 search results - page 10 / 838 » A Taxonomy of Model Transformation |
125
Voted
DAS
2010
Springer
15 years 6 months ago
2010
Springer
We describe a component of a document analysis system for constructing ontologies for domain-specific web tables imported into Excel. This component automates extraction of the Wa...
133
Voted
FPL
2007
Springer
15 years 9 months ago
2007
Springer
This paper develops a formal model of process migration that describes programs, processes, and the migration of those processes within a migration realm. A migration realm is a g...
141
Voted
IJIS
2011
14 years 7 months ago
2011
In this paper, we propose a method for modeling concepts in full computation-tree logic with sequence modal operators. An extended full computation-tree logic, CTLS∗ , is introdu...
87
Voted
WSC
2004
15 years 4 months ago
2004
This paper describes the author's career leading up to the publication of his 1969 paper Digital Computer Simulation: Computer Programming Languages, how it influenced the pa...
100
Voted
ICCS
2005
Springer
15 years 9 months ago
2005
Springer
This paper presents a generalized demosaicking procedure suitable for single-sensor imaging devices. By employing an edge-sensing mechanism and a spectral model, the proposed demos...