Keyphrases
- particle swarm optimization
- model checking
- neural network
- artificial intelligence
- asynchronous circuits
- swarm intelligence
- collective behavior
- data sets
- database
- data mining
- verification method
- knowledge base
- formal verification
- swarm robots
- concurrent systems
- test generation
- data structure
- image sequences
- information systems
- information retrieval
- databases