Computational Complexity of Formal Translations.
Juris HartmanisPublished in: Math. Syst. Theory (1975)
Keyphrases
- computational complexity
- special case
- np hard
- np complete
- memory requirements
- low complexity
- machine translation
- databases
- decision problems
- computational cost
- high computational complexity
- formal model
- natural language
- query translation
- formal methods
- formal analysis
- formal models
- mathematical theory
- image quality
- case study
- computer vision
- data mining
- neural network