Detecting Isomorphisms of Modular Specifications with Diagrams.

Catherine Oriat

Published in: AMAST (1995)

Keyphrases

computer vision
finite state machines
modular structure
delay insensitive
knowledge base
high level
database systems
image sequences
multi agent systems
object recognition
formal specification
hand drawn
class diagram
modular neural networks