Generating Event-B Specifications from Algorithm Descriptions.
Joy ClarkJens BendispostoStefan HallerstedeDominik HansenMichael LeuschelPublished in: ABZ (2016)
Keyphrases
- times faster
- theoretical analysis
- computational complexity
- preprocessing
- single pass
- search space
- k means
- expectation maximization
- improved algorithm
- detection algorithm
- cost function
- np hard
- high accuracy
- experimental evaluation
- experimental study
- computational cost
- significant improvement
- objective function
- neural network
- optimal solution
- reinforcement learning
- tree structure
- classification algorithm
- matching algorithm
- image processing
- feature selection
- estimation algorithm
- learning algorithm