2013年第24卷第5期目录下载本期目录

浏览其它刊期:  
  
理论计算机科学

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

  • 基于OpenFlow的SDN技术研究
  • 左青云,陈鸣,赵广松,邢长友,张国敏,蒋培成
  • 2013,24(5):1078-1097 [摘要(11827)]  [PDF(18165)1.74 M][HTML()]
  • 用微信扫一扫

    用微信扫一扫