An operational interpretation of coinductive types.

Published in: Log. Methods Comput. Sci. (2020)

Keyphrases

database
machine learning
decision making
high level
image interpretation
data sets
real world
data mining
information systems
feature selection
knowledge base
image processing
case study
three dimensional
evolutionary algorithm