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