Volume 25,Issue 1,2014 Table of Contents
Coinduction-Based Solution for Minimization of Kripke StructuresGAO Jian-Hua and JIANG YingPublished 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 LogicHAN Zhao-Wei and LI Yong-MingPublished January 30, 2014 (10 pages)2014,25(1):27-36 [Abstract(3601)] [View PDF(5290)730.58 K]Learning Partially Observable Non-Deterministic Action ModelsRAO Dong-Ning,JIANG Zhi-Hua and JIANG Yun-FeiPublished 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 εLGU Tian-Long,LÜ Si-Jing,CHANG Liang and XU Zhou-BoPublished January 30, 2014 (14 pages)2014,25(1):64-77 [Abstract(3899)] [View PDF(5742)981.73 K]
Survey of Signed Network ResearchCHENG Su-Qi,SHEN Hua-Wei,ZHANG Guo-Qing and CHENG Xue-QiPublished January 30, 2014 (15 pages)2014,25(1):1-15 [Abstract(8467)] [View PDF(12760)991.21 K]Review on Speech Emotion RecognitionHAN Wen-Jing,LI Hai-Feng,RUAN Hua-Bin and MA LinPublished 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 SecurityXU Ke,ZHU Liang and ZHU MinPublished 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 RequirementsZHANG Yu-Jie,HE Ming and MENG Xiang-WuPublished January 30, 2014 (20 pages)2014,25(1):98-117 [Abstract(8361)] [View PDF(10594)1.27 M]Research on Internet Automatic ConfigurationLI Fu-Liang,YANG Jia-Hai,WU Jian-Ping,AN Chang-Qing and JIANG NingPublished January 30, 2014 (17 pages)2014,25(1):118-134 [Abstract(8056)] [View PDF(8414)1.04 M]High-Speed Network Traffic Measurement MethodZHOU Ai-Ping,CHENG Guang and GUO Xiao-JunPublished 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 NetworksZHANG Guo-Qiang,LI Yang,LIN Tao and TANG HuiPublished January 30, 2014 (22 pages)2014,25(1):154-175 [Abstract(7793)] [View PDF(12666)1.82 M]