Login / Signup
The General Product Machine: a New Model for Symbolic FSM Traversal.
Gianpiero Cabodi
Paolo Camurati
Fulvio Corno
Paolo Prinetto
Matteo Sonza Reorda
Published in:
Formal Methods Syst. Des. (1998)
Keyphrases
</>
computational model
probabilistic model
high level
formal model
neural network
network structure
management system
probability distribution
cost function
special case
feature selection
statistical model
machine learning
closed form
life cycle
data sets
prediction model
decision theoretic