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(3714)]  [View PDF(5383)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(3565)]  [View PDF(5146)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(3959)]  [View PDF(5424)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(3873)]  [View PDF(5568)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(8425)]  [View PDF(12180)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(10142)]  [View PDF(26564)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(7826)]  [View PDF(8927)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(8293)]  [View PDF(9909)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(8018)]  [View PDF(7847)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(10645)]  [View PDF(13671)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(7741)]  [View PDF(12058)1.82 M]