A Formally Proved, Complete Algorithm for Path Resolution with Symbolic Links.
Ran ChenMartin ClochardClaude MarchéPublished in: J. Formaliz. Reason. (2017)
Keyphrases
- optimization algorithm
- computational complexity
- learning algorithm
- detection algorithm
- dynamic programming
- segmentation algorithm
- high accuracy
- cost function
- matching algorithm
- recognition algorithm
- experimental evaluation
- optimal solution
- objective function
- improved algorithm
- k means
- np hard
- clustering method
- worst case
- particle swarm optimization
- computationally efficient
- tree structure
- denoising
- theoretical analysis
- probabilistic model
- search space
- preprocessing
- data structure
- similarity measure