Topology Verification for Isosurface Extraction
| Contribuinte(s) |
UNIVERSIDADE DE SÃO PAULO |
|---|---|
| Data(s) |
08/08/2013
08/08/2013
01/06/2012
|
| Resumo |
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. NSF NSF [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] IBM IBM US ARO [W911NF0810517] US ARO ExxonMobil ExxonMobil FAPESP (Brazil) Fapesp-Brazil [2008/03349-6] DOE DOE |
| Identificador |
IEEE TRANSACTIONS ON VISUALIZATION AND COMPUTER GRAPHICS, LOS ALAMITOS, v. 18, n. 6, supl. 4, Part 1, pp. 952-965, JUN, 2012 1077-2626 http://www.producao.usp.br/handle/BDPI/32526 10.1109/TVCG.2011.109 |
| Idioma(s) |
eng |
| Publicador |
IEEE COMPUTER SOC LOS ALAMITOS |
| Relação |
IEEE TRANSACTIONS ON VISUALIZATION AND COMPUTER GRAPHICS |
| Direitos |
restrictedAccess Copyright IEEE COMPUTER SOC |
| Palavras-Chave | #VERIFIABLE VISUALIZATION #ISOSURFACE #TOPOLOGY #MARCHING CUBES ALGORITHM #VERIFIABLE VISUALIZATION #RECONSTRUCTION #GENERATION #COMPUTER SCIENCE, SOFTWARE ENGINEERING |
| Tipo |
article original article publishedVersion |
