Login / Signup

Efficient Symbolic Implementation of Graph Automata with Applications to Invariant Checking.

Christoph BlumeH. J. Sander BrugginkDominik EngelkeBarbara König
Published in: ICGT (2012)
Keyphrases
  • neural network
  • high level
  • multiscale
  • cellular automata
  • cost effective
  • bipartite graph
  • graph mining
  • social networks
  • similarity measure
  • object recognition
  • graph theoretic
  • low overhead
  • highly optimized