Incorporating Quotation and Evaluation into Church's Type Theory: Syntax and Semantics.

William M. Farmer

Published in: CoRR (2016)

Keyphrases

information theory
gold standard
theoretical framework
computational models
evaluation method
evaluation criteria
database
real time
metadata
web services
preprocessing
multiresolution
probability distribution
comparative evaluation
evaluation process