5525 search results - page 402 / 1105 » Verification of Model Transformations |
192
click to vote
BIOCOMP
2009
15 years 4 months ago
2009
Abstract-- Spatial partial differential equations are commonly used to describe systems of biological entities, such as patterns created by desert vegetation and biovermiculation g...
208
click to vote
PAMI
2010
15 years 1 months ago
2010
This paper proposes a new method to synthesize and inpaint geometric textures. The texture model is composed of a geometric layer that drives the computation of a new grouplet tran...
220
click to vote
ACL
2012
13 years 9 months ago
2012
Many semantic parsing models use tree transformations to map between natural language and meaning representation. However, while tree transformations are central to several state-...
173
click to vote
CAISE
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. The model management operator ModelGen translates a schema expressed in one modelling language into an equivalent schema expressed in another modelling language, and in a...
177
click to vote
COMPSAC
2003
IEEE
16 years 7 days ago
2003
IEEE
RDT is a graphical formal modelling language in which the modeller works by constructing diagrams of the processes in their model which they then join together to form complete sy...