Volume 25,Issue 1,2014 Table of Contents

Other Issues:  
  
Contents

  • Coinduction-Based Solution for Minimization of Kripke Structures
  • GAO Jian-Hua and JIANG Ying
  • Published January 30, 2014
  • 2014,25(1):16-26 [Abstract(2496)]  [View PDF(2713)777.00 K]
  • Quantum Müller Automata and Monadic Second-Order Quantum Logic
  • HAN Zhao-Wei and LI Yong-Ming
  • Published January 30, 2014
  • 2014,25(1):27-36 [Abstract(2175)]  [View PDF(2384)730.58 K]
  • Learning Partially Observable Non-Deterministic Action Models
  • RAO Dong-Ning,JIANG Zhi-Hua and JIANG Yun-Fei
  • Published January 30, 2014
  • 2014,25(1):51-63 [Abstract(2615)]  [View PDF(2504)862.24 K]
  • OBDD-Based Reasoning for Terminological Cycles of the Description Logic εL
  • GU Tian-Long,LÜ Si-Jing,CHANG Liang and XU Zhou-Bo
  • Published January 30, 2014
  • 2014,25(1):64-77 [Abstract(2599)]  [View PDF(2492)981.73 K]
  • Review Articles

  • Survey of Signed Network Research
  • CHENG Su-Qi,SHEN Hua-Wei,ZHANG Guo-Qing and CHENG Xue-Qi
  • Published January 30, 2014
  • 2014,25(1):1-15 [Abstract(5987)]  [View PDF(5114)991.21 K]
  • Review on Speech Emotion Recognition
  • HAN Wen-Jing,LI Hai-Feng,RUAN Hua-Bin and MA Lin
  • Published January 30, 2014
  • 2014,25(1):37-50 [Abstract(6483)]  [View PDF(9687)929.87 K]
  • Architecture and Key Technologies of Internet Address Security
  • XU Ke,ZHU Liang and ZHU Min
  • Published January 30, 2014
  • 2014,25(1):78-97 [Abstract(5536)]  [View PDF(3220)1.62 M]
  • Research on CDN-P2P System over User Requirements
  • ZHANG Yu-Jie,HE Ming and MENG Xiang-Wu
  • Published January 30, 2014
  • 2014,25(1):98-117 [Abstract(6278)]  [View PDF(4219)1.27 M]
  • Research on Internet Automatic Configuration
  • LI Fu-Liang,YANG Jia-Hai,WU Jian-Ping,AN Chang-Qing and JIANG Ning
  • Published January 30, 2014
  • 2014,25(1):118-134 [Abstract(5762)]  [View PDF(3251)1.04 M]
  • High-Speed Network Traffic Measurement Method
  • ZHOU Ai-Ping,CHENG Guang and GUO Xiao-Jun
  • Published January 30, 2014
  • 2014,25(1):135-153 [Abstract(6886)]  [View PDF(4749)1.07 M]
  • Survey of In-Network Caching Techniques in Information-Centric Networks
  • ZHANG Guo-Qiang,LI Yang,LIN Tao and TANG Hui
  • Published January 30, 2014
  • 2014,25(1):154-175 [Abstract(5745)]  [View PDF(4894)1.82 M]