Algebraic Temporal Specifications with Extended TUS. Hierarchical Granular Terms and Their Applications.

Maroua Bouzid Antoni Ligeza

Published in: ICTAI (2005)

Keyphrases

temporal constraints
temporal reasoning
case study
spatio temporal
co occurrence
real time
temporal information
information systems
granular computing
higher order
rough sets
specification language
formal specification
soft computing
hierarchical structure
high level
learning algorithm