Probable Correctness Theory.

Richard G. Hamlet

Published in: Inf. Process. Lett. (1987)

Keyphrases

theoretical foundation
lower bound
computer vision
search algorithm
data structure
computer science
digital libraries
relational databases
theoretical framework
mathematical models
theoretical basis