Disproving Using the Inverse Method by Iterative Refinement of Finite Approximations.
Taus Brock-NannestadKaustuv ChaudhuriPublished in: TABLEAUX (2015)
Keyphrases
- iterative refinement
- detection method
- theoretical analysis
- prior knowledge
- clustering method
- high precision
- computational complexity
- preprocessing
- genetic algorithm
- computational cost
- high accuracy
- data sets
- optimization algorithm
- segmentation algorithm
- closed form
- convergence rate
- detection algorithm
- feature set
- em algorithm
- expectation maximization
- input data
- multiresolution
- evolutionary algorithm
- objective function
- similarity measure
- learning algorithm
- neural network