Sciweavers

906 search results - page 18 / 182
» The ANIMAL algorithm animation tool
Sort
View
CA
1998
IEEE
15 years 4 months ago
Interactive Animation of Soft Shadows
Shadows are of great importance to computer graphics, especially for interactive animation due to the visual cues which they provide. Most research in the field of dynamic shadowi...
Adam D. Worrall, David Hedley, Derek J. Paddon
FM
2003
Springer
114views Formal Methods» more  FM 2003»
15 years 5 months ago
ProB: A Model Checker for B
We present ProB, an animation and model checking tool for the B method. ProB’s animation facilities allow users to gain confidence in their specifications, and unlike the anima...
Michael Leuschel, Michael J. Butler
IDEAS
2000
IEEE
91views Database» more  IDEAS 2000»
15 years 4 months ago
Algorithms for Cartogram Animation
We describe several value-by-area cartogram animation algorithms that can be used to visualize geographically distributed continuous spatiotemporal data that often occur in GIS sy...
Min Ouyang, Peter Z. Revesz

Publication
261views
15 years 13 days ago
GPU Rigid Skinning based on a Refined Skeletonization Method
In this paper, we present a skeletal rigid skinning approach. First, we describe a skeleton extraction technique that produces refined skeletons appropriate for animation from deco...
Andreas Vasilakis, Ioannis Fudos
DAGSTUHL
2001
15 years 1 months ago
Animating Algorithms Live and Post Mortem
We first give an overview of the features of the GANIMAL Framework introducing several new concepts not present in any previous algorithm animation system. Then we focus on its me...
Stephan Diehl, Carsten Görg, Andreas Kerren