A Refinement Theory that Supports Reasoning About Knowledge and Time.

Kai Engelhardt Ron van der Meyden Yoram Moses

Published in: LPAR (2001)

Keyphrases

theoretical basis
general theory
theoretical framework
image processing
website
cooperative
high level
artificial neural networks