Login / Signup
Mechanized Proofs of Adversarial Complexity and Application to Universal Composability.
Manuel Barbosa
Gilles Barthe
Benjamin Grégoire
Adrien Koutsos
Pierre-Yves Strub
Published in:
CCS (2021)
Keyphrases
</>
worst case
data mining
computational complexity
decision support
search engine
clustering algorithm
multi agent
data structure
expert systems
evolutionary algorithm
computational cost
text mining