Temporal Properties of Recurring In-text References.

Iana Atanassova Marc Bertin

Published in: D Lib Mag. (2016)

Keyphrases

temporal properties
model checking
formal methods
information retrieval
text mining
cross references
genetic algorithm
possibility theory
text documents
keywords
multi agent
cooperative
mobile robot
graphical models
temporal logic
concept drift