Checking Bisimilarity for Attributed Graph Transformation

Lecture Notes in Computer Science - Germany
doi 10.1007/978-3-642-37075-5_8
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Berlin Heidelberg

Related search

Formal Integration of Inheritance With Typed Attributed Graph Transformation for Efficient VL Definition and Model Manipulation

English

Attributed Graph Rewriting for Complex Event Processing Self-Management

ACM Transactions on Autonomous and Adaptive Systems
ControlSystems EngineeringComputer ScienceSoftware
2016English

Attributed Graph Matching for Image-Features Association Using SIFT Descriptors

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2010English

Heterogeneous Attributed Network Embedding With Graph Convolutional Networks

Proceedings of the AAAI Conference on Artificial Intelligence
2019English

Visual Graph: An Interactive System for the Visualization of Hierarchical Attributed Graphs

Bulletin of the Novosibirsk Computing Center. Series:Computer Science
2014English

Efficient Nonparametric and Asymptotic Bayesian Model Selection Methods for Attributed Graph Clustering

Knowledge and Information Systems
Information SystemsHuman-Computer InteractionHardwareArchitectureArtificial IntelligenceSoftware
2017English

Graph-Structure Transformation Model for Picture Parsing

1972English

PIC2LNT: Model Transformation for Model Checking an Applied Pi-Calculus

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

Efficient Attributed Graph Matching and Its Application to Image Analysis

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1995English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy