Login / Signup
A More Faithful Formal Definition of the Desired Property for Distributed Snapshot Algorithms to Model Check the Property.
Ha Thi Thu Doan
Kazuhiro Ogata
Published in:
Comput. Informatics (2019)
Keyphrases
</>
theoretical analysis
statistical model
formal model
learning models
cost function
theoretical framework
mathematical model
data sets
genetic algorithm
learning algorithm
data structure
parameter estimation
orders of magnitude
parameter values
linear models
model free