×
验证码:
换一张
忘记密码?
记住我
CORC
首页
科研机构
检索
知识图谱
申请加入
托管服务
登录
注册
在结果中检索
科研机构
软件研究所 [8]
清华大学 [2]
深圳先进技术研究院 [2]
北京航空航天大学 [1]
内容类型
期刊论文 [9]
会议论文 [4]
发表日期
2019 [1]
2015 [1]
2014 [3]
2013 [1]
2012 [2]
2011 [2]
更多...
学科主题
Computer S... [1]
×
知识图谱
CORC
开始提交
已提交作品
待认领作品
已认领作品
未提交全文
收藏管理
QQ客服
官方微博
反馈留言
浏览/检索结果:
共13条,第1-10条
帮助
已选(
0
)
清除
条数/页:
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
排序方式:
请选择
作者升序
作者降序
题名升序
题名降序
发表日期升序
发表日期降序
提交时间升序
提交时间降序
Towards an Effective Syntax and a Generator for Deterministic Standard Regular Expressions
期刊论文
COMPUTER JOURNAL, 2019, 卷号: 62, 页码: 1322-1341
作者:
Xu, Zhiwu
;
Lu, Ping
;
Chen, Haiming
收藏
  |  
浏览/下载:9/0
  |  
提交时间:2019/12/30
deterministic regular expressions
grammars
properties
optimizations
generation
Deciding determinism of unary languages
期刊论文
INFORMATION AND COMPUTATION, 2015, 卷号: 245, 页码: 181-196
Lu, P
;
Peng, FF
;
Chen, HM
;
Zheng, LX
收藏
  |  
浏览/下载:18/0
  |  
提交时间:2016/12/13
Regular expressions
Regular expressions with counting
Deterministic languages
Minimal DFA
coNP-complete
Pi(p)(2)
A DFA with Extended Character-Set for Fast Deep Packet Inspection
期刊论文
IEEE TRANSACTIONS ON COMPUTERS, 2014
作者:
Liu, Cong
;
Pan, Yan
;
Chen, Ai
;
Wu, Jie
收藏
  |  
浏览/下载:8/0
  |  
提交时间:2015/09/02
Deciding Determinism of Regular Languages
期刊论文
Theory of Computing Systems, 2014
Lu, Ping (1)
;
Bremer, Joachim (2)
;
Chen, Haiming (1)
收藏
  |  
浏览/下载:14/0
  |  
提交时间:2014/12/16
一类受限正则表达式的推断算法
期刊论文
计算机科学, 2014, 卷号: 41, 期号: 4, 页码: 178-183
冯晓强
;
郑黎晓
;
陈海明
收藏
  |  
浏览/下载:16/0
  |  
提交时间:2014/12/16
XML模式
模式推断
正则表达式
自动机
算法
XML schema
Schema inference
Regular expression
Automata
Algorithm
确定型语言的相关研究综述
期刊论文
集成技术, 2013, 期号: 6, 页码: 65-70
陈海明
;
陆平
收藏
  |  
浏览/下载:11/0
  |  
提交时间:2014/12/16
正则表达式
确定型语言
算法
复杂度
regular expression
deterministic language
algorithm
complexity
一种基于模式的故障诊断方法
期刊论文
计算机科学, 2012, 卷号: 39, 期号: 11, 页码: 160-164
崔海春
;
欧阳丹彤
;
王晓宇
;
纪树平
收藏
  |  
浏览/下载:8/0
  |  
提交时间:2013/09/17
系统模型
故障模式
可诊断性
诊断问题
checking determinism of regular expressions with counting
会议论文
16th International Conference on Developments in Language Theory, DLT 2012, Taipei, Taiwan, August 14, 2012 - August 17, 2012
Chen Haiming
;
Lu Ping
收藏
  |  
浏览/下载:7/0
  |  
提交时间:2013/09/22
Algorithms
A DFA with Extended Character-set for Fast Deep Packet Inspection
会议论文
40th International Conference on Parallel Processing, Taiwan
作者:
Liu cong
;
Chen ai
;
Wu di
;
Wu jie
收藏
  |  
浏览/下载:7/0
  |  
提交时间:2015/08/25
assisting the design of xml schema: diagnosing nondeterministic content models
会议论文
13th Asia-Pacific Conference on Web Technology, APWeb 2011, Beijing, China, April 18,
Chen Haiming
;
Lu Ping
收藏
  |  
浏览/下载:13/0
  |  
提交时间:2011/10/10
Algorithms
XML
©版权所有 ©2017 CSpace - Powered by
CSpace