Topology verification for isosurface extraction
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 topolog...
| Publié dans: | IEEE transactions on visualization and computer graphics. - 1998. - 18(2012), 6 vom: 15. Juni, Seite 952-65 |
|---|---|
| Auteur principal: | |
| Autres auteurs: | , , , , , , |
| Format: | Article en ligne |
| Langue: | English |
| Publié: |
2012
|
| Accès à la collection: | IEEE transactions on visualization and computer graphics |
| Sujets: | Journal Article Research Support, Non-U.S. Gov't Research Support, U.S. Gov't, Non-P.H.S. |
| Résumé: | 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 |
|---|---|
| Description: | Date Completed 12.09.2012 Date Revised 29.06.2012 published: Print Citation Status PubMed-not-MEDLINE |
| ISSN: | 1941-0506 |
| DOI: | 10.1109/TVCG.2011.109 |