C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
On Reducing Linearizability to State Reachability.
Ahmed Bouajjani
Michael Emmi
Constantin Enea
Jad Hamza
Published in:
CoRR (2015)
Keyphrases
</>
state space
significantly reduced
machine learning
digital libraries
data sets
real world
information retrieval
search engine
e learning
training data
probabilistic model