Correctness of Self-Stabilizing Algorithms Under the Dolev Model When Adapted to Composite Atomicity Models.
Chih-Yuan ChenCheng-Pin WangTetz C. HuangJi-Cherng LinPublished in: Int. J. Artif. Life Res. (2012)
Keyphrases
- probabilistic model
- experimental data
- generic model
- learning models
- modeling framework
- linear models
- high level
- diffusion models
- classification models
- prediction model
- prior knowledge
- mathematical model
- analytical model
- computational model
- theoretical analysis
- metamodel
- autoregressive
- process model
- mathematical models
- nonlinear models
- management system
- statistical models
- statistical model
- hybrid model
- optimization problems
- parametric models
- computational complexity
- classification algorithm
- objective function
- numerical algorithms
- neural network