Semantic Models for Total Correctness and Fairness.

Michael G. Main David L. Black

Published in: Mathematical Foundations of Programming Semantics (1989)

Keyphrases

semantic models
semantic features
latent semantic analysis
semantic annotation
multimedia
domain knowledge
spatial relations
temporal relations
least squares
multimedia databases