8917 search results - page 81 / 1784 » Abstraction in Algorithm Animation |
196
click to vote
CA
2000
IEEE
15 years 10 months ago
2000
IEEE
We present a very general geometrical correction method for enforcing collisions and other geometrical constraints between polygonal mesh surfaces. It is based on a global resolut...
167
click to vote
CGI
2001
IEEE
15 years 9 months ago
2001
IEEE
We present a method to adaptively refine an irregular triangle mesh as it deforms in real-time. The method increases surface smoothness in regions of high deformation by splitting...
171
click to vote
IJVR
2007
15 years 6 months ago
2007
—This paper describes a framework for animating and controlling articulated bodies in a fluid simulation. We illustrate this approach by simulating an autonomous fish in various ...
159
click to vote
LICS
1994
IEEE
15 years 10 months ago
1994
IEEE
abstract semantics for concurrent graph reduction ALAN JEFFREY This paper presents a fully abstract semantics for a variant of the untyped -calculus with recursive declarations. We...
152
click to vote
DAC
2006
ACM
16 years 7 months ago
2006
ACM
Traces Kuntal Nanshi, Fabio Somenzi University of Colorado at Boulder ne abstraction refinement and simulation to provide a more efficient approach to checking invariant properti...