Efficient weakest preconditions.

K. Rustan M. Leino

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

Keyphrases

cost effective
information systems
computationally expensive
machine learning
search engine
high level
similarity measure
search algorithm
digital libraries
image retrieval
evolutionary algorithm
efficient implementation
explanation based learning