An integrated tool set for verifying CafeOBJ specifications.

Adrián Riesco Kazuhiro Ogata

Published in: J. Syst. Softw. (2022)

Keyphrases

data mining
data sets
neural network
real world
artificial intelligence
image set
machine learning
decision trees
similarity measure
bayesian networks
multiscale
data structure
learning environment