A Mechanical Analysis of Program Verification Strategies.

Sandip Ray Warren A. Hunt Jr.John Matthews J Strother Moore

Published in: J. Autom. Reason. (2008)

Keyphrases

trade off
image analysis
information retrieval
knowledge base
clustering algorithm
decision trees
image segmentation
video sequences
cooperative
pattern recognition
relational databases
software engineering
electronic commerce
automatic analysis