A statistical anytime algorithm for the Halting Problem.
Cristian S. CaludeMonica DumitrescuPublished in: Comput. (2020)
Keyphrases
- learning algorithm
- dynamic programming
- optimization algorithm
- linear programming
- k means
- single pass
- detection algorithm
- segmentation algorithm
- theoretical analysis
- classification algorithm
- input data
- computational cost
- np hard
- preprocessing
- computational complexity
- search space
- times faster
- probabilistic model
- data sets
- high accuracy
- estimation algorithm
- objective function
- similarity measure
- segmentation method
- recognition algorithm
- selection algorithm
- worst case
- tree structure
- computationally efficient
- experimental evaluation
- lower bound
- search algorithm
- data structure
- machine learning