2477 search results - page 310 / 496 » First-Order Interactive Programming |
119
click to vote
CSL
2007
Springer
15 years 8 months 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...
105
click to vote
EGH
2007
Springer
15 years 8 months 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...
122
Voted
CGI
2006
IEEE
15 years 8 months 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...
112
click to vote
CNSR
2006
IEEE
15 years 8 months 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...
112
click to vote
DSN
2006
IEEE
15 years 8 months ago
2006
IEEE
Embedded control systems consist of multiple components with different criticality levels interacting with each other. For example, in a passenger jet, the navigation system inter...