A contract-based method to specify stimulus-response requirements.
Alexandr NaumchevManuel MazzaraBertrand MeyerJean-Michel BruelFlorian GalinierSophie EbersoldPublished in: CoRR (2017)
Keyphrases
- synthetic data
- high accuracy
- preprocessing
- theoretical analysis
- cost function
- significant improvement
- detection method
- similarity measure
- statistical model
- pairwise
- computational cost
- classification accuracy
- computationally efficient
- detection algorithm
- image registration
- mathematical model
- classification method
- optimization algorithm
- model selection
- computer vision
- prior knowledge
- computational complexity
- feature extraction