The Importance of Non-theorems and Counterexamples in Program Verification.

Published in: VSTTE (2005)

Keyphrases

relative importance
neural network
real time
artificial intelligence
information retrieval
image segmentation
bayesian networks