A Maude environment for CafeOBJ.

Adrián Riesco Kazuhiro Ogata Kokichi Futatsugi

Published in: Formal Aspects Comput. (2017)

Keyphrases

changing environment
real time
decision trees
face recognition
data structure
virtual world
environmental conditions