2501 search results - page 316 / 501 » Obligations and Their Interaction with Programs |
126
click to vote
ISMAR
2007
IEEE
16 years 26 days ago
2007
IEEE
3D graphics systems increasingly rely on sophisticated event systems derived from collision detection mechanisms, which support the discretisation of Physics as well as high-level...
176
click to vote
CSL
2007
Springer
16 years 22 days ago
2007
Springer
We consider the problem of automating and checking the use of previously proved lemmas in the proof of some main theorem. In particular, we call the collection of such previously p...
157
click to vote
EGH
2007
Springer
16 years 22 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...
174
click to vote
CGI
2006
IEEE
16 years 19 days ago
2006
IEEE
This paper presents a quasi-physically based approach for interactively simulating large-scale dynamic forest scenes under different wind conditions. We introduce theories from th...
169
click to vote
CNSR
2006
IEEE
16 years 19 days ago
2006
IEEE
Network protocol performance and evaluation study is often carried out using a couple of widely used simulation toolkits, such as ns-2 and OPNET. These toolkits usually contain ma...