semantics resolution

[sɪˈmæntɪks ˌrezəˈlu:ʃən]
  • 释义

    [计] 语义学消解,语义学归结;

数据更新时间:2025-11-14 07:21:01
1、

The only rule necessary to explain the semantics is the resolution rule used for class attribute references.

这里唯一需要解释的语义是解析类属性的规则。

互联网摘选

2、

Flow Document capability enables automatic support to reflow content within an application depending on the window size, content semantics, and device resolution of the application.

Flow Document的功能对随窗口大小,内容语义(semantics),以及应用的设备分辨率之不同而重新流动内容提供了自动支持。

互联网摘选

3、

In the view of theory and implementation, a design for a user interface tool environment is discussed, which offers a practical resolution to the support of appropriate separation between user interface and application semantics.

从理论和实现的角度,探讨了一个用户界面工具环境的设计,为解决界面与应用语义的适当分离提供一种可行方案。

互联网摘选

4、

Because the first order logic can characterize the computational semantics of a software component, it has become an important research direction in software engineering domain to use first order logic to represent a component and to use resolution based automatic theorem proving technology to retrieve it.

由于一阶逻辑能够描述软件构件的计算语义,因此用一阶逻辑表示构件及用基于归结原理的自动定理证明技术检索构件的研究在软件工程领域得到了足够的重视。

互联网摘选

  • 相关词组
  • 今日热词
  • 热门搜索
  • Irish[ˈaɪrɪʃ] adj.爱尔兰的,爱尔(人[语,文化…)的;n.爱尔兰人;爱尔兰语;
  • classmate[ˈklɑːsmeɪt] n.同班同学;
  • array[əˈreɪ] n.阵列;数组;大量;大堆;大群vt.排列;部署兵力;打扮,装饰;
  • CCTV[ˌsi: si: ti: ˈvi:] n.中央电视台;中国中央电视台(China Central Television);闭路电视(Closed Circuit Television);
  • away[əˈweɪ] adv.离开,远离;在远处;消失;adj.不在的;遥远的;客场比赛;
  • brother[ˈbrʌðə(r)] n. 兄弟;同事,同胞;同志;int. (表示生气或吃惊)我的老兄!;
  • pulse[pʌls] n.脉搏;[无线电](电磁波等)脉动;活力;有节奏的跳动(或拍打);vi.(心脏)跳动;脉动;搏动;震动;
  • miss[mɪs] n.(称呼不知姓名的年轻女子)小姐;(用于未婚女子姓氏或姓名前,以示礼貌)小姐,女士;少女;未击中v.错过;不在;思念;迟到;未达到;避开(不愉快的事);不懂;未击中;不做;不理解;未得到;未觉察;未见到;未听到;发觉丢失
  • you belong to me[ju bɪˈlɒŋ tu mi] 你属于我;只属于我
  • bear[beə(r)] n.熊;(在证券市场等)看跌的人;v.有(某个名称);支撑;承受;显示;忍受;开(花);携带;承担责任;生育,生(孩子);转向(左或北等);举止;心怀;不适于某事(或做某事)
  • tail[teɪl] n. 尾巴;踪迹;辫子;燕尾服vt. 尾随;装上尾巴
  • weekday[ˈwiːkdeɪ] n.工作日;

纳米英语英语词典(dict.nm3.cn)为您提供在线翻译英语词典单词大全英译汉汉译英等英语服务!可按单词字数词义分类查询。支持lj:关键词格式查询例句。

用户反馈
请选择反馈类型(可多选):
您的联系方式:
反馈内容:
提交成功 小编会尽快处理
回到顶部
点击反馈