ASM Specification and Refinement of a Quantum Algorithm.
Flavio FerrarottiSenén GonzálezPublished in: Logic, Computation and Rigorous Methods (2021)
Keyphrases
- learning algorithm
- computational cost
- experimental evaluation
- detection algorithm
- expectation maximization
- k means
- preprocessing
- improved algorithm
- theoretical analysis
- objective function
- recognition algorithm
- computational complexity
- computationally efficient
- cost function
- np hard
- neural network
- simulated annealing
- optimization algorithm
- provably correct
- search space
- classification algorithm
- segmentation method
- optimal solution
- particle swarm optimization
- dynamic programming
- multi objective
- significant improvement