This is an automated theorem prover for first-order and equational logic, used to support inference in language processing.
这是一个用于一阶和逻辑方程序的自动理论证明器，用于支持语言处理中的推理。
Word alignment is a basic problem of Cross-lingual Natural Language Processing. Many NLP tasks based on bilingual corpus such as SBMT, EBMT, WSD, Automated Dictionary Extraction need to align words.
词语对齐是跨语言自然语言处理领域的一个基本问题，许多基于双语语料库的应用(如sbmt、EBMT、WSD、词典编纂)都需要词汇级别的对齐。
Word alignment is a basic problem of Cross-lingual Natural Language Processing. Many NLP tasks based on bilingual corpus such as SBMT, EBMT, WSD, Automated Dictionary Extraction need to align words.
词语对齐是跨语言自然语言处理领域的一个基本问题，许多基于双语语料库的应用(如sbmt、EBMT、WSD、词典编纂)都需要词汇级别的对齐。
应用推荐