Sign in

Metalevel computation in Maude.

Manuel ClavelFrancisco DuránSteven EkerPatrick LincolnNarciso Martí-OlietJosé 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