您的位置： 专家智库 > >

蒋慧

作品数：2 被引量：2H指数：1
供职机构：南京通信工程学院更多>>
发文基金：国家自然科学基金更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 1篇期刊文章
  • 1篇会议论文

领域

  • 1篇自动化与计算...

主题

  • 1篇多媒体
  • 1篇人工智能
  • 1篇煤体
  • 1篇函数式语言
  • 1篇CLEAN

机构

  • 2篇南京通信工程...

作者

  • 2篇蒋慧
  • 1篇张兴元
  • 1篇王元元

传媒

  • 1篇计算机工程与...
  • 1篇第六届全国机...

年份

  • 2篇1998
共 2 条 记 录，以下是 1-2
全选 清除 导出
排序方式：
用人工智能思想进行超媒体设计被引量：2
1998年
Ｉｎｔｅｒｎｅｔ正以不可估量的速度被迅速推广和使用，而其上新兴的ＷｏｒｌｄｗｉｄｅＷｅｂ的强大功能又给Ｉｎｔｅｒｎｅｔ用户提供了方便、快捷的服务，使超媒体应用程序的设计越来越受到人们的重视，该文着重从人工智能的“学习”和“认知过程”角度，在广泛使用超媒体设计模型ＨＤＢ（ＨｙｐｅｒｍｅｄｉａｄｅｓｉｇｎＭｅｔｈｏｄｏｌｏｇｙ）的基础上，从一个具体的超媒体设计方法ＲＭＭ（ＲｅｌａｔｉｏｎｓｈｉｐＭａｎａｇｅｍｅｎｔＭｅｔｈｏｄｏｌｏｇｙ）出发，讨论人工智能思想在其中的重要作用。
蒋慧
关键词：人工智能多媒体
基于图重写系统的函数式语言Clean的类型系统
行协议验证的研究中，研究人员采用并实现用一种惰性高阶纯函数式语言Ｃｌｅａｎ作为验证的核心计算器。Ｃｌｅａｎ语言的实现是基于图重写系统的。该文介绍了该计算模型的类型系统，讨论了它是如何完成类型检测和类型推理的。并重点介绍了...
蒋慧张兴元王元元
全选 清除 导出
共1页<1>
聚类工具0