We propose a method to automatically transform mesh animations into animation collages, i.e. moving assemblies of shape primitives from a database given by an artist. An animation...
We present a method that preserves the recognizability of key object interactions in a vector animation. The method allows an artist to author an animation once, and then output i...
Vidya Setlur, Yingqing Xu, Xuejin Chen, Bruce Gooc...
Previous studies of program visualization have generally failed to provide convincing support for the benefits of algorithm animation in promoting the understanding of computatio...
Mihail Eduard Tudoreanu, Rong Wu, Ashley Hamilton-...
ATLAS (Advanced Technology Laboratory Animal Scanner), a small animal PET scanner designed to image animals the size of rats and mice, is about to enter service on the NIH campus ...
We provide a detailed description of refinement in Event-B, both as a contribution in itself and as a foundation for the approach to simultaneous animation of multiple levels of re...
Stefan Hallerstede, Michael Leuschel, Daniel Plagg...