Program Verification Using Change Information.

Bernhard Beckert Peter H. Schmitt

Published in: SEFM (2003)

Keyphrases

machine learning
temporal information
information fusion
databases
information sources
prior knowledge
multiscale
domain knowledge
clustering algorithm
information processing
contextual information
semantic information
information sharing
computer vision
structural information
raw data
artificial intelligence