中国科学院软件研究所机构知识库
Advanced  
ISCAS OpenIR

Search Results

Help

Item hits: (Results 1-10 of 14)

Items/Page:    Sort:
Deciding determinism of unary languages [期刊论文]
INFORMATION AND COMPUTATION, 2015-01-01, 卷号: 245, 页码: 181-196
Lu, P; Peng, FF; Chen, HM; Zheng, LX
  |  
 
一类受限正则表达式的推断算法 [期刊论文]
计算机科学, 2014-01-01, 卷号: 41, 期号: 4, 页码: 178-183
冯晓强; 郑黎晓; 陈海明

 
确定型语言的相关研究综述 [期刊论文]
集成技术, 2013-01-01, 期号: 6, 页码: 65-70
陈海明; 陆平

 
正规树文法的产生式相交判定 [期刊论文]
计算机工程与设计, 2012-01-01, 卷号: 33, 期号: 3, 页码: 1197-1202,1212
倪晓勇; 陈海明
  |  
 
characterizations of one-way general quantum finite automata [期刊论文]
Theoretical Computer Science, 2011-01-01, 卷号: 419, 页码: -
Lvzhou Li; Daowen Qiu; Xiangfu Zou; Lvjun Li; Lihua Wu; Paulo Mateus

 
clustering with feature order preferences [期刊论文]
INTELLIGENT DATA ANALYSIS, 2010-01-01, 卷号: 14, 期号: 4, 页码: 479-495
Sun Jun; Zhao Wenbo; Xue Jiangwei; Shen Zhiyong; Shen Yidong
  |  
 
regularized local reconstruction for clustering [会议论文]
13th Pacific-Asia Conference on Knowledge and Data Mining, Bangkok, THAILAND, APR 27-30,
Sun Jun; Shen Zhiyong; Su Bai; Shen Yidong

 
inclusion test algorithms for one-unambiguous regular expressions [会议论文]
5th International Colloquium on Theoretical Aspects of Computing (ICTAC 2008), Istanbul, TURKEY, SEP 01-03,
Chen Haiming; Chen Lei
  |  
 
efficient type checking for a subclass of regular expression types [会议论文]
9th International Conference for Young Computer Scientists, Zhangjiajie, PEOPLES R CHINA, NOV 18-21,
Chen Lei; Chen Haiming
  |  
 
refining and verifying regular petri nets [期刊论文]
INTERNATIONAL JOURNAL OF SYSTEMS SCIENCE, 2008-01-01, 卷号: 39, 期号: 1, 页码: 17-27
Li Jiao
  |  
 

1 2 next

 

Valid XHTML 1.0!
Copyright © 2007-2020  中国科学院软件研究所 - Feedback
Powered by CSpace