机构

• 软件研究所 [10]

采集方式

• OAI收割 [10]

内容类型

• 期刊论文 [9]
• 会议论文 [1]

发表日期

• 2006 [5]
• 2005 [1]
• 2004 [1]
• 2001 [3]

学科主题

• Artificial... [3]
• Computer S... [3]
• Computer S... [1]

筛选

浏览/检索结果: 共10条，第1-10条 帮助 条数/页： 5101520253035404550556065707580859095100 排序方式： 请选择题名升序题名降序提交时间升序提交时间降序作者升序作者降序发表日期升序发表日期降序 towards practical computable functions on context-free languages 会议论文  OAI收割 3rd International Conference on Theory and Applications of Models of Computation (TAMC 2006), Beijing, PEOPLES R CHINA, MAY 15-20, Chen Haiming; Dong Yunmei   |  收藏  |  浏览/下载：19/0  |  提交时间：2011/07/28 recursive function  context-free language  structured data  operator  computability   facilitating formal specification acquisition by using recursive functions on context-free languages 期刊论文  OAI收割 KNOWLEDGE-BASED SYSTEMS, 2006, 卷号: 19, 期号: 2, 页码: 141-151 Chen HM; Dong YM   |  收藏  |  浏览/下载：13/0  |  提交时间：2011/07/13 绵羊  胚胎  成纤维细胞formal specification language  context-free language  recursive function  specification acquisition  specification validation   facilitating formal specification acquisition by using recursive functions on context-free languages 期刊论文  OAI收割 Knowledge-Based Systems, 2006, 卷号: 19, 期号: 2, 页码: 141-151 Chen Haiming; Yunmei Dong   |  收藏  |  浏览/下载：23/0  |  提交时间：2010/07/22 Formal specification language  Context-free language  Recursive function  Specification acquisition  Specification validation   facilitating formal specification acquisition by using recursive functions on context-free languages 期刊论文  OAI收割 KNOWLEDGE-BASED SYSTEMS, 2006, 卷号: 19, 期号: 2, 页码: 141-151 Chen HM; Dong YM   |  收藏  |  浏览/下载：25/0  |  提交时间：2011/07/13 绵羊  胚胎  成纤维细胞formal specification language  context-free language  recursive function  specification acquisition  specification validation   facilitating formal specification acquisition by using recursive functions on context-free languages 期刊论文  OAI收割 KNOWLEDGE-BASED SYSTEMS, 2006, 卷号: 19, 期号: 2, 页码: 141-151 Chen HM; Dong YM   |  收藏  |  浏览/下载：31/0  |  提交时间：2011/07/13 绵羊  胚胎  成纤维细胞formal specification language  context-free language  recursive function  specification acquisition  specification validation   基于领域本体的半结构化文本知识自动获取方法的设计和实现 期刊论文  OAI收割 计算机学报, 2005, 卷号: 28, 期号: 12, 页码: 2010-2018 王海涛; 曹存根; 高颖   |  收藏  |  浏览/下载：22/0  |  提交时间：2011/07/28 文本知识获取  知识编程语言  虚拟机  多主体系统  领域本体  领域本体  半结构化  文本知识  知识自动获取  方法  设计  知识获取  知识编程语言  运行环境  手工劳动  中草药  虚拟机  通用性  全自动  参数化  应用  音乐  效率  西医Computer programming languages  Context free grammars  Multi agent systems  Natural language processing systems  Text processing   practical type checking of functions defined on context-free languages 期刊论文  OAI收割 Journal of Computer Science and Technology, 2004, 卷号: 19, 期号: 6, 页码: 840-847 Chen Haiming; Yun-Mei Dong   |  收藏  |  浏览/下载：22/0  |  提交时间：2010/07/22 type checking  context-free language  algorithm   pattern matching compilation of functions defined in context-free languages 期刊论文  OAI收割 JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 2001, 卷号: 16, 期号: 2, 页码: 159-167 Chen HM; Dong YM   |  收藏  |  浏览/下载：19/0  |  提交时间：2011/07/29 pattern matching  algorithm  recursive function  context-free language  functional language   pattern matching compilation of functions defined in context-free languages 期刊论文  OAI收割 Journal of Computer Science and Technology, 2001, 卷号: 16, 期号: 2, 页码: 159-167 Chen Haiming; Yunmei Dong   |  收藏  |  浏览/下载：10/0  |  提交时间：2010/07/22 pattern matching  algorithm  recursive function  context-free language  functional language   function definition language fdl and its implementation 期刊论文  OAI收割 Journal of Computer Science and Technology, 2001, 卷号: 14, 期号: 4, 页码: 414-421 Chen Haiming   |  收藏  |  浏览/下载：17/0  |  提交时间：2010/07/22 programming language  recursive function  context-free language  interpreter  parsing  formal specification