A Formal Definition of Time in LOTOS.

Luc Léonard Guy Leduc

Published in: Formal Aspects Comput. (1998)

Keyphrases

temporal ordering
computer vision
decision making
data structure
pattern recognition
neural network
object recognition
spatio temporal
software engineering
fuzzy ontology