Login / Signup
The Semantics of Triveni: A Process-Algebraic API for Threads + Events.
Christopher Colby
Lalita Jategaonkar
Radha Jagadeesan
Konstantin Läufer
Carlos Puchol
Published in:
Electron. Notes Theor. Comput. Sci. (1998)
Keyphrases
</>
genetic algorithm
database
event detection
temporal relations
databases
social networks
video sequences
temporal information
formal semantics