A probabilistic anytime algorithm for the halting problem.
Cristian S. CaludeMonica DumitrescuPublished in: Comput. (2018)
Keyphrases
- probabilistic model
- optimal solution
- computational cost
- cost function
- learning algorithm
- improved algorithm
- detection algorithm
- significant improvement
- simulated annealing
- theoretical analysis
- optimization algorithm
- estimation algorithm
- experimental evaluation
- np hard
- lower bound
- preprocessing
- high accuracy
- segmentation algorithm
- reinforcement learning
- shortest path
- matching algorithm
- times faster
- data sets