A Decidable Equivalence for a Turing-complete, Distributed Model of Computation.
Arnaldo CescoRoberto GorrieriPublished in: CoRR (2021)
Keyphrases
- formal model
- high level
- distributed systems
- machine learning
- computational model
- probability distribution
- databases
- mathematical model
- theoretical framework
- artificial neural networks
- cooperative
- information retrieval
- database
- control system
- cost function
- management system
- input data
- similarity measure
- social networks
- experimental data
- distributed environment