Keyphrases
- formal specification language
- temporal logic
- english language
- formal specification
- formal methods
- language learning
- machine translation
- language identification
- natural language
- answer questions
- english text
- statistical machine translation
- target language
- english learning
- dependency parser
- cross language
- model checking
- query translation
- cross language information retrieval
- fine grained
- person names
- knowledge management