Proposal of an Algorithm to Generate VDM++ Specification Based on its Grammar by Using Word Lists Extracted from the Natural Language Specification.
Tetsuro KatayamaYasuhiro ShigyoYoshihiro KitaHisaaki YamabaKentaro AburadaNaonobu OkazakiPublished in: J. Robotics Netw. Artif. Life (2020)
Keyphrases
- natural language
- dynamic programming
- times faster
- high accuracy
- computational complexity
- learning algorithm
- optimization algorithm
- search space
- k means
- cost function
- co occurrence
- detection algorithm
- segmentation algorithm
- clustering method
- tree structure
- expectation maximization
- provably correct
- experimental evaluation
- preprocessing
- optimal solution
- objective function
- similarity measure
- np hard
- particle swarm optimization
- image sequences
- high level
- matching algorithm
- machine learning
- recognition algorithm
- finite state automata
- neural network