Symbolic Analysis of Maude Theories with Narval.

María Alpuente Santiago Escobar Julia Sapiña Demis Ballis

Published in: Theory Pract. Log. Program. (2019)

Keyphrases

website
high level
data analysis
image analysis
special case
quantitative analysis
feature extraction
multiresolution