An Introduction to Maude and Some of Its Applications.

Narciso Martí-Oliet

Published in: PADL (2010)

Keyphrases

formal specification
equational theories
pairwise
general purpose
neural network
real world
information retrieval
genetic algorithm
computer vision
information systems
image processing
case study
pattern recognition
preprocessing
principal component analysis