Topological models for boundary representation: A comparison with \(n\)- dimensional generalized maps

From MaRDI portal
Publication:1174819

DOI10.1016/0010-4485(91)90082-8zbMath0754.65018OpenAlexW2048095461MaRDI QIDQ1174819

Pascal Lienhardt

Publication date: 25 June 1992

Published in: CAD. Computer-Aided Design (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0010-4485(91)90082-8




Related Items

Chain models in computer simulationGeneralized Gandy-Păun-Rozenberg Machines for Tile Systems and Cellular AutomataAlgebraic specification and development in geometric modeling\(n\)D generalized map pyramids: definition, representations and basic operationsComputing Canonical Polygonal Schemata with Generalized MapsThree-dimensional maps and subgroup growthDesign and formal proof of a new optimal image segmentation program with hypermapsGeometric construction by assembling solved subfiguresHomological spanning forest framework for 2D image analysisFormal specification and proofs for the topology and classification of combinatorial surfacesEfficient search of combinatorial maps using signaturesHomomorphisms between graphs embedded in surfacesDesigning and proving correct a convex hull algorithm with hypermaps in CoqConsistently oriented dart-based 3D modelling by means of geometric algebra and combinatorial mapsTopological rewriting and the geometrization of programmingPolyhedra genus theorem and Euler formula: A hypermap-formalized intuitionistic proofFrequent Submap DiscoveryCombinatorial Maps for 2D and 3D Image SegmentationMGSRegion merging with topological controlTubular parametric volume objects: thickening a piecewise smooth 3D stick figureInsertion and Expansion Operations for n-Dimensional Generalized MapsFirst Results for 3D Image Segmentation with Topological Map3D Image Topological Structuring with an Oriented Boundary Graph for Split and Merge SegmentationRepresenting geometric structures in \(d\) dimensions: Topology and orderA Polynomial Algorithm for Submap Isomorphism3D Topological Map Extraction from Oriented Boundary GraphA First Step toward Combinatorial Pyramids in n-D SpacesBorder Operator for Generalized MapsEquivalence between closed connected \(n\)-\(G\)-maps without multi-incidence and \(n\)-surfacesFormalizing mathematics in higher-order logic: A case study in geometric modellingCombinatorics on Adjacency Graphs and Incidence PseudographsHomology of cellular structures allowing multi-incidence