Algorithmic correspondence for relevance logics, bunched implication logics, and relation algebras: the algorithm PEARL and its implementation (Technical Report).
Willem ConradieValentin GorankoPeter JipsenPublished in: CoRR (2021)
Keyphrases
- learning algorithm
- dynamic programming
- segmentation algorithm
- times faster
- experimental evaluation
- cost function
- detection algorithm
- image matching
- hardware implementation
- computational cost
- np hard
- search space
- preprocessing
- computational complexity
- significant improvement
- k means
- parallel implementation
- high accuracy
- linear programming
- data structure
- optimal solution
- objective function
- convex hull
- technical report
- clustering method
- probabilistic model
- optimization algorithm
- theoretical analysis
- expectation maximization
- feature points
- particle swarm optimization
- search algorithm
- knowledge base