Title :
Topology Verification for Isosurface Extraction
Author :
Etiene, T. ; Nonato, L.G. ; Scheidegger, C. ; Tienry, J. ; Peters, T.J. ; Pascucci, V. ; Kirby, R.M. ; Silva, C.T.
Author_Institution :
Sch. of Comput., Univ. of Utah, Salt Lake City, UT, USA
fDate :
6/1/2012 12:00:00 AM
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.
Keywords :
computational geometry; data visualisation; topology; algorithmic implementations; digital topology; isosurface coding mistakes; isosurface extraction; stratified Morse theory; topological invariant verification; topology verification; verifiable visualization; Face; Interpolation; Isosurfaces; Level set; Manifolds; Software; Topology; Verifiable visualization; isosurface; topology.;
Journal_Title :
Visualization and Computer Graphics, IEEE Transactions on
DOI :
10.1109/TVCG.2011.109
