The Community for Technology Leaders
Green Image
Issue No. 06 - June (2012 vol. 18)
ISSN: 1077-2626
pp: 952-965
R. M. Kirby , Sch. of Comput., Univ. of Utah, Salt Lake City, UT, USA
V. Pascucci , Sch. of Comput., Univ. of Utah, Salt Lake City, UT, USA
C. T. Silva , Sch. of Comput., Univ. of Utah, Salt Lake City, UT, USA
T. J. Peters , Dept. of Comput. Sci. & Eng., Univ. of Connecticut, Storrs, CT, USA
J. Tienry , LTCI, Telecom ParisTech, Paris, TX, USA
C. Scheidegger , AT&T Labs. - Res., Madison, NJ, USA
L. G. Nonato , Dept. de Matemdtica Aplic. e Estatistica, Univ. de Sao Paulo, Sao Carlos, Brazil
Tiago Etiene , Sch. of Comput., Univ. of Utah, Salt Lake City, UT, USA
ABSTRACT
The broad goals of verifiable visualization rely on correct algorithmic implementations. We extend a framework for verification of isosurfacing implementations to check topological properties. Specifically, we use stratified Morse theory and digital topology to design algorithms which verify topological invariants. Our extended framework reveals unexpected behavior and coding mistakes in popular publicly available isosurface codes.
INDEX TERMS
Isosurfaces, Topology, Face, Level set, Software, Interpolation, Manifolds, topology., Verifiable visualization, isosurface
CITATION

R. M. Kirby et al., "Topology Verification for Isosurface Extraction," in IEEE Transactions on Visualization & Computer Graphics, vol. 18, no. , pp. 952-965, 2012.
doi:10.1109/TVCG.2011.109
82 ms
(Ver 3.3 (11022016))