Formal methods in pattern recognition: A review.
Luciano NiedduGiacomo PatriziPublished in: Eur. J. Oper. Res. (2000)
Keyphrases
- formal methods
- pattern recognition
- formal analysis
- artificial intelligence
- model checking
- safety critical
- model checker
- neural network
- process algebra
- provably correct
- image analysis
- temporal properties
- software engineering
- signal processing
- formal specification
- knowledge based systems
- machine learning
- computer vision
- fuzzy sets
- image processing
- information systems
- reactive systems
- development lifecycle
- fine grained
- rough sets
- feature extraction
- formal specification language
- knowledge acquisition
- database
- case study
- real world