The anchored version of the temporal framework.

Zohar Manna Amir Pnueli

Published in: REX Workshop (1988)

Keyphrases

main contribution
spatial and temporal
video sequences
artificial intelligence
database systems
computational model
bayesian framework
conceptual framework