REACHABILITY

作品数:47被引量:85H指数:4
导出分析报告
相关领域:自动化与计算机技术更多>>
相关作者:罗云峰肖人彬费奇王雪李建中更多>>
相关机构:华中理工大学哈尔滨工业大学东南大学复旦大学更多>>
相关期刊:更多>>
相关基金:国家自然科学基金中国博士后科学基金国家教育部博士点基金广西壮族自治区自然科学基金更多>>
-

检索结果分析

结果分析中...
选择条件:
  • 期刊=Frontiers of Computer Sciencex
条 记 录,以下是1-3
视图:
排序:
Answering reachability queries with ordered label constraints over labeled graphs被引量:1
《Frontiers of Computer Science》2024年第1期105-117,共13页Daoliang HE Pingpeng YUAN Hai JIN 
supported by the National Natural Science Foundation of China(Grant Nos.61932004 and 62072205).
Reachability query plays a vital role in many graph analysis tasks.Previous researches proposed many methods to efficiently answer reachability queries between vertex pairs.Since many real graphs are labeled graph,it ...
关键词:graph ordered-label-constrained reachability partial index bloom filter query processing 
Semi-tensor product of matrices approach to reachability of finite automata with application to language recognition被引量:10
《Frontiers of Computer Science》2014年第6期948-957,共10页Yongyi YAN Zengqiang CHEN Zhongxin LIU 
Acknowledgements This work was supported by the National Natural Science Foundation of China (Grant No. 61174094), and the Tianjin Natural Science Foundation of China under (14JCYBJC18700 and 13JCY- BJC17400).
This paper investigates the transition function and the reachability conditions of finite automata by using a semitensor product of matrices, which is a new powerful matrix analysis tool. The states and input symbols ...
关键词:finite automata reachability analysis transition function expression matrix approach semi-tensor product 
Adding regular expressions to graph reachability and pattern queries被引量:2
《Frontiers of Computer Science》2012年第3期313-338,共26页Wenfei FAN Jianzhong LI Shuai MA Nan TANG Yinghui WU 
It is increasingly common to find graphs in which edges are of different types, indicating a variety of relation- ships. For such graphs we propose a class of reachability queries and a class of graph patterns, in whi...
关键词:graph reachability graph pattern queries regu-lar expressions CONTAINMENT equivalence minimization 
检索报告 对象比较 聚类工具 使用帮助 返回顶部