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.
Original language | English (US) |
---|---|
Article number | 5928335 |
Pages (from-to) | 952-965 |
Number of pages | 14 |
Journal | IEEE Transactions on Visualization and Computer Graphics |
Volume | 18 |
Issue number | 6 |
DOIs | |
State | Published - 2012 |
Externally published | Yes |
Keywords
- Verifiable visualization
- isosurface
- topology
ASJC Scopus subject areas
- Software
- Signal Processing
- Computer Vision and Pattern Recognition
- Computer Graphics and Computer-Aided Design