Topology and category theory in computer science
Topology and category theory in computer science
Surface reconstruction from unorganized points
SIGGRAPH '92 Proceedings of the 19th annual conference on Computer graphics and interactive techniques
Digital topology: a comparison of the graph-based and topological approaches
Topology and category theory in computer science
Modeling spaces for toleranced objects
International Journal of Robotics Research
Imperfect form tolerancing on manifold objects: a metric approach
International Journal of Robotics Research
Three-dimensional alpha shapes
ACM Transactions on Graphics (TOG)
Decision tree complexity and Betti numbers
STOC '94 Proceedings of the twenty-sixth annual ACM symposium on Theory of computing
Polyhedral perturbations that preserve topological form
Computer Aided Geometric Design
SIGGRAPH '96 Proceedings of the 23rd annual conference on Computer graphics and interactive techniques
Towards robust interval solid modeling of curved objects
Towards robust interval solid modeling of curved objects
Differential and topological properties of medial axis transforms
Graphical Models and Image Processing
Surface reconstruction by Voronoi filtering
Proceedings of the fourteenth annual symposium on Computational geometry
A new Voronoi-based surface reconstruction algorithm
Proceedings of the 25th annual conference on Computer graphics and interactive techniques
Approximating curves via alpha shapes
CVGIP: Graphical Models and Image Processing
A simple algorithm for homeomorphic surface reconstruction
Proceedings of the sixteenth annual symposium on Computational geometry
Domains for Denotational Semantics
Proceedings of the 9th Colloquium on Automata, Languages and Programming
Lower bounds for algebraic computation trees
STOC '83 Proceedings of the fifteenth annual ACM symposium on Theory of computing
The power crust, unions of balls, and the medial axis transform
Computational Geometry: Theory and Applications
Ambient isotopic approximations for surface reconstruction and interval solids
SM '03 Proceedings of the eighth ACM symposium on Solid modeling and applications
A condition for isotopic approximation
Graphical Models - Solid modeling theory and applications
Provably good sampling and meshing of surfaces
Graphical Models - Solid modeling theory and applications
Topology guaranteeing manifold reconstruction using distance function to noisy data
Proceedings of the twenty-second annual symposium on Computational geometry
Reconstructing surfaces using envelopes: bridging the gap between theory and practice
ACM SIGGRAPH 2006 Research posters
A condition for isotopic approximation
SM '04 Proceedings of the ninth ACM symposium on Solid modeling and applications
An effective condition for sampling surfaces with guarantees
SM '04 Proceedings of the ninth ACM symposium on Solid modeling and applications
Computational topology for isotopic surface reconstruction
Theoretical Computer Science - Spatial representation: Discrete vs. continous computational models
Shape smoothing using double offsets
Proceedings of the 2007 ACM symposium on Solid and physical modeling
Surface reconstruction from noisy point clouds
SGP '05 Proceedings of the third Eurographics symposium on Geometry processing
On validating STEP product data exchange
Computer-Aided Design
Provably good moving least squares
ACM Transactions on Algorithms (TALG)
Modeling time and topology for animation and visualization with examples on parametric geometry
Theoretical Computer Science
Topological Neighborhoods for Spline Curves: Practice & Theory
Reliable Implementation of Real Number Algorithms: Theory and Practice
Computing Fundamental Group of General 3-Manifold
ISVC '08 Proceedings of the 4th International Symposium on Advances in Visual Computing
Manifold homotopy via the flow complex
SGP '09 Proceedings of the Symposium on Geometry Processing
Hi-index | 0.00 |
A fundamental issue in theoretical computer science is that of establishing unambiguous formal criteria for algorithmic output. This paper does so within the domain of computer-aided geometric modeling. For practical geometric modeling algorithms, it is often desirable to create piecewise linear approximations to compact manifolds embedded in R3, and it is usually desirable for these two representations to be "topologically equivalent". Though this has traditionally been taken to mean that the two representations are homeomorphic, such a notion of equivalence suffers from a variety of technical and philosophical difficulties; we adopt the stronger notion of ambient isotopy. It is shown here, that for any C2, compact, 2-manifold without boundary, which is embedded in R3, there exists a piecewise linear ambient isotopic approximation. Furthermore, this isotopy has compact support, with specific bounds upon the size of this compact neighborhood. These bounds may be useful for practical application in computer graphics and engineering design simulations. The proof given relies upon properties of the medial axis, which is explained in this paper.