Decidable Models of Recursive Asynchronous Concurrency.

Jonathan Kochems C.-H. Luke Ong

Published in: CoRR (2014)

Keyphrases

neural network
complex systems
datalog programs
genetic algorithm
model selection
experimental data
statistical models
autoregressive
parametric models
accurate models