Invariant Patterns for Program Reasoning.

Andrew Ireland Bill J. Ellis Tommy Ingulfsen

Published in: MICAI (2004)

Keyphrases

knowledge base
program execution
pattern analysis
neural network
information systems
multiscale
image registration
test cases
probabilistic reasoning
automated reasoning
reasoning tasks
model based reasoning
similar patterns