Empowering the Event-B Method Using External Theories.
Yamine Aït AmeurGuillaume DupontIsmaïl MendilDominique MéryMarc PantelPeter RiviereNeeraj Kumar SinghPublished in: IFM (2022)
Keyphrases
- high accuracy
- computational complexity
- preprocessing
- detection method
- theoretical analysis
- computationally efficient
- experimental evaluation
- error rate
- matching algorithm
- prior knowledge
- clustering method
- main contribution
- optimization algorithm
- support vector machine svm
- high precision
- neural network
- event detection
- mutual information
- support vector machine
- computational cost
- significant improvement
- optical flow
- k means
- pairwise
- multiscale
- training data