关键词：计算语言学；机器翻译；形式模型；语料库；战略转移 [gap=372]Keywords: computational linguistics; machine translation; formal models; corpus; strategic
基于22个网页-相关网页
... 2 活动图形式化定义（Formal definition of activity diagram） 3 形式化模型（Formal models） 4 转换规则（Transformation rules） ...
基于1个网页-相关网页
The author briefly introduces the development process of computational linguistics,summarizes the main success of formal models in computational linguistics,and analyzes the four characteristics of current computational linguistics.
本文简要介绍了计算语言学的发展历程,总结了计算语言学中形式模型研究的成果,并分析了当前计算语言学发展的四个特点。
参考来源 - 计算语言学的历史回顾与现状分析·2,447,543篇论文数据，部分数据来源于NoteExpress
The formal models of network protocols are one of the core technologies in the analysis and design of the protocols.
网络协议的形式化模型是协议分析和设计的核心技术之一。
Considering such ability of human, researchers of artificial intelligence have made some further investigation and presented many formal models.
针对人类问题求解的这种能力和特征，人工智能研究者对其进行了深入的研究，并建立了各种形式化的模型。
Documents based on these templates may be created and managed alongside the formal models, providing the requirements input needed to drive analysis and design threads.
除了规范化模型以外，还可能创建和管理基于这些模板的文档，以提供驱动分析和设计思路所需的需求输入。
应用推荐