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

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

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

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

    用微信扫一扫