Keyphrases
- model checking
- signature verification
- flowshop
- neural network
- special case
- image segmentation
- three dimensional
- feature extraction
- hidden markov models
- distributed systems
- decision trees
- temporal logic
- artificial intelligence
- bounding box
- formal methods
- databases
- formal verification
- atm networks
- batch processing
- fingerprint verification
- concurrent systems