Towards a Method for the Decomposition by Refinement in Event-B.
Kenza KraibiRahma Ben AyedJoris RehmSimon Collart DutilleulPhilippe BonDorian PetitPublished in: FM Workshops (2) (2019)
Keyphrases
- structural learning
- main contribution
- cost function
- decomposition method
- learning algorithm
- preprocessing
- prior knowledge
- significant improvement
- genetic algorithm
- experimental evaluation
- support vector machine
- feature set
- high precision
- computationally efficient
- error rate
- evaluation method
- input data
- detection method
- detection algorithm
- optimization algorithm
- support vector machine svm
- theoretical analysis
- data sets
- pairwise
- objective function
- information retrieval