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(2832)]  [View PDF(2906)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(2551)]  [View PDF(2622)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(2945)]  [View PDF(2711)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(2970)]  [View PDF(2773)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(6622)]  [View PDF(5607)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(7297)]  [View PDF(12975)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(6180)]  [View PDF(3495)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(6827)]  [View PDF(5174)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(6413)]  [View PDF(3673)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(7719)]  [View PDF(6287)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(6330)]  [View PDF(6440)1.82 M]