Incorporating quotation and evaluation into Church's type theory.
William M. FarmerPublished in: Inf. Comput. (2018)
Keyphrases
- comparative evaluation
- evaluation model
- theoretical framework
- evaluation methods
- information theory
- formal theory
- real time
- general theory
- theoretical basis
- evaluation method
- empirical evaluation
- computational model
- information retrieval systems
- hidden markov models
- video sequences
- image segmentation
- artificial intelligence
- neural network
- databases