Logic Compression Of Dictionaries For Multilingual Spelling Checkers.
Boubaker Meddeb-HamrouniPublished in: COLING (1994)
Keyphrases
- language resources
- image compression
- data compression
- compression algorithm
- compression ratio
- compression scheme
- classical logic
- multi valued
- digital libraries
- machine translation
- cross language information retrieval
- tutoring system
- automated reasoning
- query translation
- compression rate
- bilingual dictionaries
- multi lingual
- logic programming
- proof theory