5525 search results - page 808 / 1105 » Verification of Model Transformations |
188
click to vote
DBPL
2007
Springer
16 years 27 days ago
2007
Springer
Macro tree transducers (mtt) are an important model that both covers many useful XML transformations and allows decidable exact typechecking. This paper reports our first step tow...
157
click to vote
EGH
2007
Springer
16 years 27 days ago
2007
Springer
In this paper, we present a method for rendering deformations as part of the programmable shader pipeline of contemporary Graphical Processing Units. In our method, we allow gener...
134
click to vote
ER
2007
Springer
16 years 27 days ago
2007
Springer
An information system maintains a representation of the state of the domain in its Information Base (IB). The state of the IB changes due to the execution of the operations defined...
203
click to vote
ISBRA
2007
Springer
16 years 26 days ago
2007
Springer
Abstract. Cancer detection using mammography focuses on characteristics of tiny microcalcifications, including the number, size, and spatial arrangement of microcalcification clu...
177
click to vote
SG
2007
Springer
16 years 25 days ago
2007
Springer
This paper presents the concept and an evaluation of a novel approach to support students to understand complex spatial relations and to learn unknown terms of a domain-specific t...