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 (11 pages)
  • 2014,25(1):16-26 [Abstract(3746)]  [View PDF(5540)777.00 K]
  • Quantum Müller Automata and Monadic Second-Order Quantum Logic
  • HAN Zhao-Wei and LI Yong-Ming
  • Published January 30, 2014 (10 pages)
  • 2014,25(1):27-36 [Abstract(3601)]  [View PDF(5290)730.58 K]
  • Learning Partially Observable Non-Deterministic Action Models
  • RAO Dong-Ning,JIANG Zhi-Hua and JIANG Yun-Fei
  • Published January 30, 2014 (13 pages)
  • 2014,25(1):51-63 [Abstract(3990)]  [View PDF(5594)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 (14 pages)
  • 2014,25(1):64-77 [Abstract(3899)]  [View PDF(5742)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 (15 pages)
  • 2014,25(1):1-15 [Abstract(8467)]  [View PDF(12760)991.21 K]
  • Review on Speech Emotion Recognition
  • HAN Wen-Jing,LI Hai-Feng,RUAN Hua-Bin and MA Lin
  • Published January 30, 2014 (14 pages)
  • 2014,25(1):37-50 [Abstract(10539)]  [View PDF(27658)929.87 K]
  • Architecture and Key Technologies of Internet Address Security
  • XU Ke,ZHU Liang and ZHU Min
  • Published January 30, 2014 (20 pages)
  • 2014,25(1):78-97 [Abstract(7856)]  [View PDF(9534)1.62 M]
  • Research on CDN-P2P System over User Requirements
  • ZHANG Yu-Jie,HE Ming and MENG Xiang-Wu
  • Published January 30, 2014 (20 pages)
  • 2014,25(1):98-117 [Abstract(8361)]  [View PDF(10594)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 (17 pages)
  • 2014,25(1):118-134 [Abstract(8056)]  [View PDF(8414)1.04 M]
  • High-Speed Network Traffic Measurement Method
  • ZHOU Ai-Ping,CHENG Guang and GUO Xiao-Jun
  • Published January 30, 2014 (19 pages)
  • 2014,25(1):135-153 [Abstract(10691)]  [View PDF(14305)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 (22 pages)
  • 2014,25(1):154-175 [Abstract(7793)]  [View PDF(12666)1.82 M]