Patterns for Maude Metalanguage Applications.

Eugen-Ioan Goriac Georgiana Caltais Dorel Lucanu Oana Andrei Gheorghe Grigoras

Published in: WRLA (2008)

Keyphrases

genetic algorithm
data sets
database
neural network
video sequences
pattern analysis
data mining
search engine
computer vision
web services
three dimensional
database systems
data analysis
relational databases
temporal patterns
formal specification