• DocumentCode
    1255875
  • 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
  • Volume
    18
  • Issue
    6
  • fYear
    2012
  • fDate
    6/1/2012 12:00:00 AM
  • Firstpage
    952
  • Lastpage
    965
  • 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.;
  • fLanguage
    English
  • Journal_Title
    Visualization and Computer Graphics, IEEE Transactions on
  • Publisher
    ieee
  • ISSN
    1077-2626
  • Type

    jour

  • DOI
    10.1109/TVCG.2011.109
  • Filename
    5928335
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=1255875