1716 search results - page 171 / 344 » Generating models for temporal representations |
141
click to vote
CADE
2009
Springer
16 years 4 months ago
2009
Springer
Abstract. Saturation-based calculi such as superposition can be successfully instantiated to decision procedures for many decidable fragments of first-order logic. In case of termi...
136
click to vote
WCRE
2003
IEEE
15 years 9 months ago
2003
IEEE
Reverse Engineering is a process fraught with imperfections. The importance of dealing with non-precise, possibly inconsistent data explicitly when interacting with the reverse en...
134
Voted
ECMDAFA
2009
Springer
15 years 1 months ago
2009
Springer
Textual Syntax (TS) as a form of model representation has made its way to the Model-Driven Software Development community and is considered a viable alternative to graphical repres...
154
click to vote
TOG
2012
13 years 6 months ago
2012
We present a dynamic tree modeling and representation technique that allows complex tree models to interact with their environment. Our method uses changes in the light distributi...
167
click to vote
ICCV
2003
IEEE
15 years 9 months ago
2003
IEEE
In this paper, we present a generative model for textured motion phenomena, such as falling snow, wavy river and dancing grass, etc. Firstly, we represent an image as a linear sup...