6650 search results - page 139 / 1330 » models 2009 |
129
click to vote
OOPSLA
2009
Springer
16 years 1 months ago
2009
Springer
Model transformation languages, the cornerstone of Modelngineering, often lack mechanisms for abstraction, reuse and debugging. We propose a model transformation k providing diffe...
177
click to vote
SMA
2009
ACM
16 years 29 days ago
2009
ACM
We present a method for procedurally modeling general complex 3D shapes. Our approach is targeted towards applications in digital entertainment and gaming and can automatically ge...
145
click to vote
ICFEM
2009
Springer
16 years 1 months ago
2009
Springer
Formal specification languages are traditionally supported by theorem provers, but recently model checkers have proven to be useful tools. In this paper we present Eboc, an explic...
206
click to vote
CVPR
2009
IEEE
17 years 1 months ago
2009
IEEE
A dynamic texture is a generative model for video that
treats the video as a sample from spatio-temporal stochastic
process. One problem associated with the dynamic texture
is t...
157
click to vote
AINA
2009
IEEE
16 years 1 months ago
2009
IEEE
This paper is focused on modeling Web request and session level arrival processes. We propose a statistically rigorous approach which includes testing for non-stationarity and Gau...