Login / Signup
It's Doomed; We Can Prove It.
Jochen Hoenicke
K. Rustan M. Leino
Andreas Podelski
Martin Schäf
Thomas Wies
Published in:
FM (2009)
Keyphrases
</>
feature space
greedy algorithm
database
information retrieval
learning algorithm
social networks
multi agent systems