A formal proof and simple explanation of the QuickXplain algorithm.
Patrick RodlerPublished in: Artif. Intell. Rev. (2022)
Keyphrases
- experimental evaluation
- preprocessing
- learning algorithm
- improved algorithm
- computational complexity
- tree structure
- computationally efficient
- worst case
- optimal solution
- recognition algorithm
- memory requirements
- cost function
- dynamic programming
- matching algorithm
- selection algorithm
- data sets
- formal proof
- optimization algorithm
- detection algorithm
- segmentation algorithm
- computational cost
- times faster
- convex hull
- k means
- search algorithm
- objective function
- artificial intelligence
- theorem prover
- neural network