4187 search results - page 10 / 838 » A Taxonomy of Model Transformation |
DAS
2010
Springer
13 years 11 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...
FPL
2007
Springer
14 years 1 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...
IJIS
2011
12 years 11 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...
WSC
2004
13 years 9 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...
ICCS
2005
Springer
14 years 1 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...