Coincidences and the encounter problem: A formal account

Jean-Louis Dessalles

Published in: CoRR (2011)

Keyphrases

information retrieval
information technology
formal methods
real time
case study
cooperative
formal model
formal specification
data mining
social networks
decision trees
high level
data streams
knowledge representation
formal analysis