您的位置: 专家智库 > >

刘石霞

作品数:2 被引量:0H指数:0
供职机构:北京师范大学更多>>
相关领域:自动化与计算机技术文化科学更多>>

文献类型

  • 1篇学位论文
  • 1篇会议论文

领域

  • 2篇自动化与计算...
  • 1篇文化科学

主题

  • 1篇等价
  • 1篇等价性
  • 1篇引擎
  • 1篇引擎设计
  • 1篇搜索
  • 1篇搜索引擎
  • 1篇搜索引擎设计
  • 1篇索引
  • 1篇爬虫
  • 1篇重写系统
  • 1篇资源库
  • 1篇网络
  • 1篇网络爬虫
  • 1篇项重写
  • 1篇项重写系统
  • 1篇教育
  • 1篇教育资源库
  • 1篇基于XML
  • 1篇XML

机构

  • 2篇北京师范大学

作者

  • 2篇刘石霞
  • 1篇冯速
  • 1篇曹顺

传媒

  • 1篇2001年全...

年份

  • 1篇2003
  • 1篇2001
2 条 记 录,以下是 1-2
排序方式:
递归领域和项重写系统等价性
本文讨论了递归领域的概念及其于递归领域的项重写系统等价性的归纳证明方法.
冯速中国科学院计算机科学实验室(北京)刘石霞曹顺
关键词:项重写系统等价性
文献传递
基于XML的教育资源搜索引擎设计
我提出了一个基于XML的教育资源搜索引擎.该系统专门针对教育资源站点进行搜索,对使用者提供教育资源的搜索服务.利用该系统用户可以快速而准确的搜索教育资源库中的资源,包括文本、图片、视频等多媒体资源.而且系统能快速的发现教...
刘石霞
关键词:搜索引擎XML教育资源库网络爬虫
共1页<1>
聚类工具0