A method for translating natural language program specifications into algebraic specifications.
Hiroyuki SekiTadao KasamiEiji NabikaTakashi MatsumuraPublished in: Systems and Computers in Japan (1992)
Keyphrases
- natural language
- preprocessing
- high accuracy
- detection method
- experimental evaluation
- cost function
- computationally efficient
- synthetic data
- significant improvement
- prior knowledge
- computational complexity
- support vector machine
- high precision
- segmentation method
- question answering
- fully automatic
- optimization method
- optimization algorithm
- support vector machine svm
- mutual information
- machine learning
- computational cost
- dynamic programming
- similarity measure
- image processing