Login / Signup
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