Most Programs Stop Quickly or Never Halt

Cristian S. Calude Michael Stay

Published in: CoRR (2006)

Keyphrases

real time
machine learning
decision making
image processing
bayesian networks
computer programs
control structures
data sets
high level
open source
fixpoint
intermediate level
automatic programming