Applying Data Refinement for Monadic Programs to Hopcroft's Algorithm.
Peter LammichThomas TuerkPublished in: ITP (2012)
Keyphrases
- input data
- dynamic programming
- noisy data
- data sets
- data collection
- learning algorithm
- data structure
- np hard
- optimization algorithm
- detection algorithm
- incomplete data
- information loss
- preprocessing
- data reduction
- k means
- computational complexity
- convergence rate
- synthetic datasets
- dimensional data
- prior information
- matching algorithm
- single scan
- neural network
- expectation maximization
- image data
- computational cost
- cost function
- search space
- worst case
- knowledge discovery
- data points
- significant improvement
- data analysis
- objective function
- training data
- genetic algorithm