Sign in
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