Login / Signup
Reasoning About Identifier Spaces: How to Make Chord Correct.
Pamela Zave
Published in:
IEEE Trans. Software Eng. (2017)
Keyphrases
</>
information retrieval
formal theory
probabilistic model
machine learning
artificial intelligence
social networks
e learning
three dimensional
information technology
hidden markov models
medical images
spatial reasoning
qualitative reasoning