|
1
|
动态描述逻辑的Tableau判定算法 |
常亮
史忠植
邱莉榕
林芬
|
《计算机学报》
EI
CSCD
北大核心
|
2008 |
41
|
|
|
2
|
时态描述逻辑ALC-LTL的Tableau判定算法 |
常亮
王娟
古天龙
董荣胜
|
《计算机科学》
CSCD
北大核心
|
2011 |
5
|
|
|
3
|
基于时间局部性的网络拓扑结构发现算法 |
黎燕
刘成江
张千千
殷攀程
|
《沈阳工业大学学报》
北大核心
|
2025 |
1
|
|
|
4
|
从ALC到SHOQ(D):描述逻辑及其Tableau算法 |
梅婧
林作铨
|
《计算机科学》
CSCD
北大核心
|
2005 |
34
|
|
|
5
|
Tableau算法的优化及模型规约技术 |
刘大有
赖永
王生生
|
《计算机学报》
EI
CSCD
北大核心
|
2014 |
4
|
|
|
6
|
RM及其扩展可调度性判定算法性能分析 |
邢建生
刘军祥
王永吉
|
《计算机研究与发展》
EI
CSCD
北大核心
|
2005 |
6
|
|
|
7
|
一个增量式判定树学习算法INDUCE |
骆斌
周志华
陈兆乾
陈世福
|
《计算机研究与发展》
EI
CSCD
北大核心
|
1999 |
6
|
|
|
8
|
一种新的一维正态云概念隶属度判定算法 |
杨宏伟
岳勇
杨学强
|
《计算机集成制造系统》
EI
CSCD
北大核心
|
2012 |
8
|
|
|
9
|
单调速率及其扩展算法的可调度性判定 |
王永吉
陈秋萍
|
《软件学报》
EI
CSCD
北大核心
|
2004 |
50
|
|
|
10
|
一种描述逻辑SHIF的ABox一致性判定算法 |
彭立
杨恒伏
|
《计算机应用研究》
CSCD
北大核心
|
2013 |
2
|
|
|
11
|
有向图的同构判定算法:出入度序列法 |
李锋
商慧亮
|
《应用科学学报》
CAS
CSCD
|
2002 |
21
|
|
|
12
|
基于局域信息和能量因素的WSN关键点判定算法 |
刘彬
孙雅静
刘浩然
尹荣荣
|
《通信学报》
EI
CSCD
北大核心
|
2015 |
2
|
|
|
13
|
基于概念格中文信息最优检索串判定算法 |
肖升
阳西述
|
《湖南师范大学自然科学学报》
EI
CAS
北大核心
|
2006 |
3
|
|
|
14
|
传感器网络中基于Voronoi网格的快速覆盖判定算法 |
王雷
沈昊为
林亚平
|
《系统仿真学报》
EI
CAS
CSCD
北大核心
|
2008 |
2
|
|
|
15
|
哈密顿回路存在性判定及输出算法 |
郭俊杰
伊崇信
毕双艳
张世迦
|
《吉林大学自然科学学报》
CSCD
|
1998 |
5
|
|
|
16
|
无向图同构判定的并行算法 |
殷新春
陈崚
|
《计算机工程》
CAS
CSCD
北大核心
|
2002 |
5
|
|
|
17
|
基于灾变遗传算法的二叉判定图最小化算法 |
王镇道
陈义
|
《计算机工程与应用》
CSCD
北大核心
|
2015 |
3
|
|
|
18
|
任意多边形顶点凸、凹性判定的一种算法 |
魏东
朱功勤
|
《合肥工业大学学报（自然科学版）》
CAS
CSCD
北大核心
|
2006 |
2
|
|
|
19
|
有内部冲突的F的广义左、右部冲突判定算法 |
郝忠孝
赵龄强
高岩
|
《计算机研究与发展》
EI
CSCD
北大核心
|
2004 |
2
|
|
|
20
|
ALC中的Tableau算法及其性质 |
段跃兴
|
《计算机应用与软件》
CSCD
|
2010 |
5
|
|
