Specifying ROSE in LOTOS.

David Freestone Sukhvinder S. Aujla

Published in: FORTE (1988)

Keyphrases

temporal ordering
image classification
formal specification language
artificial intelligence
computer vision
knowledge base
image sequences
relational databases
np hard
object oriented
formal specification