Keyphrases
- asynchronous circuits
- number of iterations required
- iterative algorithms
- convergence rate
- stopping criterion
- model checking
- concurrent systems
- signature verification
- convergence speed
- face verification
- search algorithm
- optimal solution
- information systems
- databases
- search space
- delay insensitive
- genetic algorithm
- multimodal biometrics
- stochastic approximation
- fingerprint verification
- knowledge base
- formal verification
- clustering algorithm
- faster convergence
- bayesian networks
- formal methods
- data sets
- multiscale