Add to ORKGThe 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
Many high-resolution surfaces are created through isosurface extraction from volumetric repre-sentat...
Many high-resolution surfaces are created through isosurface extraction from volumetric representati...
Summary. The selection of appropriate level sets for the quantitative visualization of three dimensi...
Abstract—The broad goals of verifiable visualization rely on correct algorithmic implementations. We...
The broad goals of verifiable visualization rely on correct algorithmic implementations. We extend a...
Journal ArticleThe broad goals of verifiable visualization rely on correct algorithmic implementatio...
Visual representations of isosurfaces are ubiquitous in the scientific and engineering literature. I...
Visual representations of isosurfaces are ubiquitous in the scientific and engineering literature. I...
Visual representations of isosurfaces are ubiquitous in the scientific and engineering literature. I...
In many application areas, it is useful to convert the discrete information stored in the nodes of a...
In many application areas, it is useful to convert the discrete information stored in the nodes of a...
Many high-resolution surfaces are created through isosurface extraction from volumetric representati...
Many high-resolution surfaces are created through isosurface extraction from volumetric representati...
A popular technique for rendition of isosurfaces in sampled data is to consider cells with sample po...
Many high-resolution surfaces are created through isosurface extraction from volumetric repre-sentat...
Many high-resolution surfaces are created through isosurface extraction from volumetric repre-sentat...
Many high-resolution surfaces are created through isosurface extraction from volumetric representati...
Summary. The selection of appropriate level sets for the quantitative visualization of three dimensi...
Abstract—The broad goals of verifiable visualization rely on correct algorithmic implementations. We...
The broad goals of verifiable visualization rely on correct algorithmic implementations. We extend a...
Journal ArticleThe broad goals of verifiable visualization rely on correct algorithmic implementatio...
Visual representations of isosurfaces are ubiquitous in the scientific and engineering literature. I...
Visual representations of isosurfaces are ubiquitous in the scientific and engineering literature. I...
Visual representations of isosurfaces are ubiquitous in the scientific and engineering literature. I...
In many application areas, it is useful to convert the discrete information stored in the nodes of a...
In many application areas, it is useful to convert the discrete information stored in the nodes of a...
Many high-resolution surfaces are created through isosurface extraction from volumetric representati...
Many high-resolution surfaces are created through isosurface extraction from volumetric representati...
A popular technique for rendition of isosurfaces in sampled data is to consider cells with sample po...
Many high-resolution surfaces are created through isosurface extraction from volumetric repre-sentat...
Many high-resolution surfaces are created through isosurface extraction from volumetric repre-sentat...
Many high-resolution surfaces are created through isosurface extraction from volumetric representati...
Summary. The selection of appropriate level sets for the quantitative visualization of three dimensi...