Providing a formal linkage between MDG and HOL.

Haiyan Xiong Paul Curzon Sofiène Tahar Ann Blandford

Published in: Formal Methods Syst. Des. (2007)

Keyphrases

formal methods
machine learning
theorem prover
neural network
clustering algorithm
data sets
computer vision
website
three dimensional
search algorithm
knowledge based systems
higher order logic
linkage analysis