Metalevel computation in Maude.

Manuel Clavel Francisco Durán Steven Eker Patrick Lincoln Narciso Martí-Oliet José Meseguer

Published in: WRLA (1998)

Keyphrases

database
computer vision
formal specification
neural network
machine learning
information retrieval
decision trees
three dimensional
face recognition
multi agent systems