The Buffered π-Calculus: A Model for Concurrent Languages.
Xiaojie DengYu ZhangYuxin DengFarong ZhongPublished in: LATA (2013)
Keyphrases
- mathematical model
- formal model
- probabilistic model
- computational model
- probability distribution
- object model
- prediction model
- neural network model
- markov chain
- management system
- neural network
- artificial neural networks
- objective function
- similarity measure
- high level
- genetic algorithm
- information retrieval
- machine learning