Theory Morphisms in Church's Type Theory with Quotation and Evaluation.

William M. Farmer

Published in: CICM (2017)

Keyphrases

data sets
theoretical framework
real time
genetic algorithm
artificial intelligence
computer vision
general theory
databases
machine learning
decision making
case study
three dimensional
fuzzy sets
computational model
evaluation method