Topology Verification for Isosurface Extraction
- Etiene, Tiago
- Nonato, L. Gustavo
- Scheidegger, Carlos
- Tierny, Julien
- Peters, Thomas J.
- Pascucci, Valerio
- Kirby, Robert M.
- Silva, Claudio T.
Publication date
June 2012
DOI Publisher
LOS ALAMITOS ISSN
1077-2626 Journal
1077-2626Abstract
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.NSFNSF [IIS-0905385, IIS-0844546, ATM-0835821, CNS-0751152, OCE-0424602, CNS-0514485, IIS-0513692, CNS-0524096, CCF-0401498, OISE-0405402, CCF-0528201, CNS-0551724, CMMI 1053077, IIP 0810023, CCF 0429477]IBMIBMUS ARO [W911NF0810517]US AROExxonMobilExxonMobilFAPESP (Brazil)Fapesp-Brazil [2008/03349-6]DOEDO
Add to ORKG