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(3673)]  [View PDF(4799)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(3514)]  [View PDF(4471)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(3904)]  [View PDF(4737)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(3809)]  [View PDF(4945)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(8193)]  [View PDF(9690)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(9644)]  [View PDF(20999)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(7756)]  [View PDF(7587)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(8212)]  [View PDF(8442)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(7924)]  [View PDF(6602)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(10450)]  [View PDF(11200)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(7632)]  [View PDF(10711)1.82 M]