Proposal for Adding Useful Features to Petri-Net Model Checkers.
Hubert GaravelPublished in: CoRR (2021)
Keyphrases
- prior knowledge
- feature set
- feature vectors
- low level
- structural information
- expert systems
- classification method
- spatial information
- petri net
- co occurrence
- object detection
- feature values
- invariant features
- extracted features
- false positives
- database
- image features
- hidden markov models
- object recognition
- feature extraction
- decision trees
- computer vision