Keyphrases
- swarm intelligence
- particle swarm optimization
- model checking
- formal analysis
- face verification
- verification method
- multiscale
- concurrent systems
- formal verification
- signature verification
- formal methods
- cooperative
- knowledge base
- neural network
- evolutionary algorithm
- particle swarm
- search space
- artificial neural networks
- image processing
- database