Login / Signup
Proving linearisability via coarse-grained abstraction
Brijesh Dongol
John Derrick
Published in:
CoRR (2012)
Keyphrases
</>
coarse grained
fine grained
high level
protein sequences
shared memory
artificial intelligence
pairwise
knowledge base
decision trees
belief propagation
energy landscape