Formal Support for Standardizing Protocols with State.

Joshua D. Guttman Moses D. Liskov John D. Ramsdell Paul D. Rowe

Published in: CoRR (2015)

Keyphrases

state space
decision support
database
databases
neural network
machine learning
information retrieval
learning algorithm
website
formal model
support systems
formal analysis