Login / Signup

Incorporating Proofs in a Categorical Attributed Graph Transformation System for Software Modelling and Verification.

Bertrand BoisvertLouis FéraudSergei Soloviev
Published in: MODELSWARD (2013)
Keyphrases
  • attributed graphs
  • computer vision
  • information extraction
  • text mining
  • random walk
  • similarity search
  • graph matching
  • graph clustering