„Graph refinement“
Suchergebnisse
145 Treffer
-
Abstraction and abstraction refinement in the verification of graph transformation systems
-
Bisimulations and model refinement
-
Dynamic software architectures – a style based modeling and refinement technique with graph transformations
-
Integration of Image Data for Refining Building Boundaries Derived from Point Clouds
-
Graph Isomorphism, Color Refinement, and Compactness