您好,欢迎光临本网站![请登录][注册会员]  

搜索资源列表

  1. semantics with applications

  2. 计算机语义学,Operational semantics,denotational semantics,and axiomatic semantics
  3. 所属分类:专业指导

    • 发布日期:2010-04-05
    • 文件大小:1048576
    • 提供者:xieli82920
  1. 07级吉林大学计算机研究生课程之《形式语义学》

  2. 07级吉林大学计算机研究生课程之《形式语义学》
  3. 所属分类:专业指导

    • 发布日期:2010-05-18
    • 文件大小:1048576
    • 提供者:morre
  1. 程序设计形式语义学-张琨

  2. 形式语义学是对形式语言及其句子采用形式系统方法进行语义定义的学问。 为什么需要形式语义研究: 帮助理解语言; 支持语言标准化; 指导语言设计; 帮助编写编译器和语言系统; 支持程序验证和软件可靠性; 有助于软件规范化。
  3. 所属分类:专业指导

    • 发布日期:2010-11-23
    • 文件大小:8388608
    • 提供者:gaoyang9870
  1. 《计算语言学》讲义-中科院 刘群教授

  2. 中国科学院研究生院信息学院 硕士生课程 刘群教授主讲。 本课程为计算机软件与理论专业研究生的专业基础课。通过本课程的学习,使同学掌握计算语言学的基本理论,了解自然语言处理的常用模型和算法,初步具备从事相关领域研究工作的能力。 内容提要: 第一章 概论 介绍计算语言学的研究对象,研究手段,学科特点,历史趋势等。 第二章 词典 词典编纂,组织,检索等。 第三章 语料库 语料库收集,整理,对齐,检索,基于语料库的知识获取。 第四章 词法分析 正则语法与有限状态自动机,HMM与词性标注,汉语词语切分,
  3. 所属分类:专业指导

    • 发布日期:2013-11-21
    • 文件大小:9437184
    • 提供者:yuhentian
  1. 计算机语义学-semantic

  2. 英文版介绍计算机语义学,semantics with applications,A formal introduction
  3. 所属分类:专业指导

    • 发布日期:2008-11-25
    • 文件大小:1048576
    • 提供者:kev216
  1. 形式语义学

  2. 形式语义学的教科书两本:形式语义学(formal semantics),是程序设计理论的组成部分,以数学为工具,利用符号和公式,精确地定义和解释计算机程序设计语言的语义,使语义形式化的学科。形式语义学是从20世纪70年代开始发展出来的一个理论阵营。
  3. 所属分类:其它

    • 发布日期:2018-10-20
    • 文件大小:6291456
    • 提供者:songzgabc
  1. 形式语义学课程资料PPT

  2. 本课程的内容是程序设计理论的组成部分,它以数学为工具,利用符号和公式,精确地定义和解释计算机程序设计语言的语义。通过本课程的学习,使学生在计算机语言的形式语义学方面打下扎实的基础,掌握形式语义学的基本理论、基本方法和重要结论,并了解国内外最新研究动态、热点,为以后的研究做好准备。
  3. 所属分类:讲义

    • 发布日期:2020-01-02
    • 文件大小:9437184
    • 提供者:xiejimywei
  1. TurkishFrameNet-CS:土耳其语FrameNet库-源码

  2. 土耳其语FrameNet 框架网 FrameNet于1997年推出(Lowe,1997; Baker等,1998; Fillmore和Atkins,1998; Johnson等,2001),是由位于加州伯克利的国际计算机科学研究所开发的。 这是一个不断发展的计算词典技术项目,可提供有关英语单词和谓语的深入语义信息。 基于Fillmore的框架语义学理论(Fillmore等,1976; Fillmore,2006),FrameNet以与Wordnet大致相似的方式提供谓词-自变量结构的语义信息(K
  3. 所属分类:其它

    • 发布日期:2021-02-10
    • 文件大小:38912
    • 提供者:weixin_42118770