Decidable Models of Integer-Manipulating Programs with Recursive Parallelism.

Matthew Hague Anthony Widjaja Lin

Published in: RP (2016)

Keyphrases

probabilistic model
prior knowledge
complex systems
expressive power
data sets
genetic algorithm
learning algorithm
objective function
search algorithm
floating point