Formal analysis of the compact position reporting algorithm.
Aaron DutleMariano M. MoscatoLaura TitoloCésar A. MuñozGregory AndersonFrançois BobotPublished in: Formal Aspects Comput. (2021)
Keyphrases
- formal analysis
- experimental evaluation
- np hard
- preprocessing
- optimal solution
- k means
- recognition algorithm
- segmentation algorithm
- search space
- significant improvement
- computational complexity
- dynamic programming
- learning algorithm
- matching algorithm
- detection algorithm
- optimization algorithm
- objective function
- expectation maximization
- particle swarm optimization
- worst case
- computational cost
- neural network
- power consumption
- cost function