Now showing items 151-152 of 152
Active Learning - An Explicit Treatment of Unreliable Parameters
Active learning reduces annotation costs for supervised learning by concentrating labelling efforts on the most informative data. Most active learning methods assume that the model structure is fixed in advance and focus ...
Computational Logic: Structure sharing and proof of program properties
This thesis describes the results of two studies in computational logic. The first concerns a very efficient method of implementing resolution theorem provers. The second concerns a non-resolution program which automatically ...