RESI - A Natural Language Specification Improver.
Sven J. KörnerTorben BrummPublished in: ICSC (2009)
Keyphrases
- natural language
- formal language
- formal languages
- natural language interface
- natural language processing
- language processing
- maximum entropy models
- semantic representation
- semantic analysis
- knowledge representation
- question answering
- data structure
- neural network
- information extraction
- formal specification
- natural language generation
- hidden markov models
- database
- relational databases
- formal methods
- high level
- formal verification
- operational semantics
- information retrieval
- machine learning
- databases