An invariant-based approach to the verification of asynchronous parameterized networks.

Igor V. Konnov Vladimir A. Zakharov

Published in: J. Symb. Comput. (2010)

Keyphrases

asynchronous circuits
social networks
genetic algorithm
multiscale
network structure
computer networks
affine invariant
database
learning environment
object recognition
affine transformation
online discussion
network design
moment invariants
power law
connectionist networks