2473 search results - page 348 / 495 » Systems, Views and Models of UML |
221
click to vote
SIGGRAPH
1996
ACM
15 years 11 months ago
1996
ACM
We present a new approach for modeling and rendering existing architectural scenes from a sparse set of still photographs. Our modeling approach, which combines both geometry-base...
211
click to vote
ICFEM
2009
Springer
16 years 1 months ago
2009
Springer
Internet protocols encapsulate a significant amount of state, making implementing the host software complex. In this paper, we define the Statecall Policy Language (SPL) which pr...
180
Voted
IMAGING
2001
15 years 8 months ago
2001
The world of color image difference modeling can be considered relatively young, when compared with the rich history of general color difference equations. While young, this area ...
205
click to vote
GRAPHITE
2003
ACM
16 years 6 days ago
2003
ACM
We consider a repository of animation models and motions that can be reused to generate new animation sequences. For instance, a user can retrieve an animation of a dog kicking it...
188
click to vote
DSN
2002
IEEE
15 years 12 months ago
2002
IEEE
Model checking has been introduced as an automated technique to verify whether functional properties, expressed in a formal logic like computational tree logic (CTL), do hold in a...