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(2360)]  [View PDF(2631)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(1988)]  [View PDF(2251)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(2387)]  [View PDF(2368)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(2420)]  [View PDF(2352)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(5657)]  [View PDF(4867)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(5992)]  [View PDF(9083)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(5146)]  [View PDF(3153)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(5958)]  [View PDF(4117)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(5387)]  [View PDF(3145)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(6488)]  [View PDF(4584)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(5459)]  [View PDF(4711)1.82 M]