| |
2013年第24卷第5期目录下载本期目录
理论计算机科学 | | | 子网树求解一般间隙和长度约束严格模式匹配 | | | 武优西,刘亚伟,郭磊,吴信东 | | | 2013,24(5):915-932 [摘要(5464)] [PDF 1.03 M (4328)] | | | | | 量子最弱自由前置条件的交换性及其性质 | | | 雷红轩,席政军,李永明 | | | 2013,24(5):933-941 [摘要(3913)] [PDF 623.22 K (3280)] | | | | | 基于模型的构件软件修改影响分析 | | | 陶传奇,李必信,JerryGAO,孙小兵 | | | 2013,24(5):942-960 [摘要(4412)] [PDF 1.74 M (3830)] | | | | | 从用户需求到软件规约：一种问题变换的方法 | | | 李智,金芝 | | | 2013,24(5):961-976 [摘要(5094)] [PDF 1.07 M (4328)] | | | | | 一种基于层次切片谱的软件错误定位技术 | | | 文万志,李必信,孙小兵,刘翠翠 | | | 2013,24(5):977-992 [摘要(4995)] [PDF 986.02 K (5199)] | | | | | 自由选择工作流网的可靠完备化简规则集 | | | 张曼,段振华,王小兵 | | | 2013,24(5):993-1005 [摘要(3616)] [PDF 909.46 K (3275)] | | | | | 基于网络的动态多文档文摘系统框架 | | | 刘美玲,任洪娥,于洋,郑德权,赵铁军 | | | 2013,24(5):1006-1021 [摘要(4190)] [PDF 1001.06 K (3416)] | | | | | 基于树核的隐式篇章关系识别 | | | 徐凡,朱巧明,周国栋 | | | 2013,24(5):1022-1035 [摘要(4024)] [PDF 935.04 K (3413)] | | | | | 采用无标注语料的动词和形容词主观性评级 | | | 徐戈,蒙新泛,王厚峰 | | | 2013,24(5):1036-1050 [摘要(3794)] [PDF 982.02 K (3885)] | | | | | 基于条件随机场方法的开放领域新词发现 | | | 陈飞,刘奕群,魏超,张云亮,张敏,马少平 | | | 2013,24(5):1051-1060 [摘要(4169)] [PDF 820.24 K (9873)] | | | | | PDDL 的ER 建模以及开发基于存储过程的规划器 | | | 饶东宁,蒋志华,姜云飞 | | | 2013,24(5):1061-1077 [摘要(3568)] [PDF 1.42 M (5534)] | | | | | 基于本地信任系统的可靠动态源路由协议 | | | 孙玉星,谢立,陈一飞 | | | 2013,24(5):1098-1110 [摘要(3605)] [PDF 1.04 M (3562)] | | | | | 5轮Salsa20的代数-截断差分攻击 | | | 关杰,张中亚 | | | 2013,24(5):1111-1126 [摘要(3682)] [PDF 925.00 K (3794)] | | | | | 一种可扩展的用户界面描述语言 | | | 杜一,邓昌智,田丰,任磊,戴国忠 | | | 2013,24(5):1127-1142 [摘要(4531)] [PDF 2.15 M (3906)] | | | | | 稀疏平滑特性的多正则化约束图像盲复原方法 | | | 唐述,龚卫国,仲建华 | | | 2013,24(5):1143-1154 [摘要(3498)] [PDF 2.07 M (4286)] | | | | | 一种面向人脸识别的加权代价敏感局部保持投影 | | | 万建武,杨明,吉根林,陈银娟 | | | 2013,24(5):1155-1164 [摘要(4033)] [PDF 1.19 M (4313)] | | | |
综述文章
|
