Contents

Approach of Sketch-guided GUI Testing for Mobile App CHENG Hao-Liang, TANG En-Yi, YU Chun-Zhou, ZHANG Chu-Cheng, CHEN Xin, WANG Lin-Zhang, BU Lei, LI Xuan-Dong Published December 06, 2020 (14 pages) 2020,31(12):3671-3684 [Abstract(1188)]  [View PDF(3149)1.47 M]

Reliable Algorithm for Computing Cyclic Iterative Program ZHAO Shi-Zhong, CHEN Dong-Huo, LIU Jing Published December 06, 2020 (15 pages) 2020,31(12):3685-3699 [Abstract(1515)]  [View PDF(3833)1.41 M]

POI Recommendation Based on Multidimensional Context-aware Graph Embedding Model CHEN Jin-Song, MENG Xiang-Wu, JI Wei-Yu, ZHANG Yu-Jie Published December 06, 2020 (16 pages) 2020,31(12):3700-3715 [Abstract(1554)]  [View PDF(3508)1.71 M]

Preference Vector Guided Co-evolutionary Algorithm for Many-objective Optimization WANG Li-Ping, CHEN Hong, DU Jie-Jie, QIU Qi-Cang, QIU Fei-Yue Published December 06, 2020 (17 pages) 2020,31(12):3716-3732 [Abstract(2436)]  [View PDF(4678)1.99 M]

Research on Feature Selection Algorithm Based on Natural Evolution Strategy ZHANG Xin, LI Zhan-Shan Published December 06, 2020 (20 pages) 2020,31(12):3733-3752 [Abstract(1420)]  [View PDF(3621)2.01 M]

Survey of Traffic Travel-time Prediction Methods BAI Meng-Ting, LIN Yang-Xin, MA Meng, WANG Ping Published December 06, 2020 (19 pages) 2020,31(12):3753-3771 [Abstract(1189)]  [View PDF(4812)1.84 M]

Recognition Method Based on Deep Learning for Chinese Textual Entailment Chunks and Labels YU Dong, JIN Tian-Hua, XIE Wan-Ying, ZHANG Yi, XUN En-Dong Published December 06, 2020 (15 pages) 2020,31(12):3772-3786 [Abstract(1338)]  [View PDF(3398)1.51 M]

Temporal Epistemic Logic for Perfect Recall ZHANG Yu-Zhi, TANG Xiao-Jia Published December 06, 2020 (10 pages) 2020,31(12):3787-3796 [Abstract(2037)]  [View PDF(3887)1.05 M]

Chinese-Vietnamese Convolutional Neural Machine Translation with Incorporating Syntactic Parsing Tree WANG Zhen-Han, HE Jian-Ya-Lin, YU Zheng-Tao, WEN Yong-Hua, GUO Jun-Jun, GAO Sheng-Xiang Published December 06, 2020 (11 pages) 2020,31(12):3797-3807 [Abstract(1252)]  [View PDF(3882)1.24 M]

Adaptive Active Learning for Semi-supervised Learning LI Yan-Chao, XIAO Fu, CHEN Zhi, LI Bo Published December 06, 2020 (15 pages) 2020,31(12):3808-3822 [Abstract(1467)]  [View PDF(3791)1.49 M]

Fast Temporal Cycle Enumeration Algorithm on Temporal Graphs PAN Min-Jia, LI Rong-Hua, ZHAO Yu-Hai, WANG Guo-Ren Published December 06, 2020 (13 pages) 2020,31(12):3823-3835 [Abstract(1421)]  [View PDF(4128)1.32 M]

3D-online Stable Matching Problem for New Spatial Crowdsourcing Platforms LI Bo-Yang, CHENG Yu-Rong, WANG Guo-Ren, YUAN Ye, SUN Yong-Jiao Published December 06, 2020 (16 pages) 2020,31(12):3836-3851 [Abstract(1254)]  [View PDF(3362)1.85 M]

Deployment and Scheduling for Fusion-based Detection in RF-powered Sensor Networks LI Yan-Jun, CHEN Yu-Zhe, LIN Rui-Zhong, CHI Kai-Kai, HU Ya-Hong Published December 06, 2020 (15 pages) 2020,31(12):3852-3866 [Abstract(1112)]  [View PDF(2956)1.54 M]

Implementation of Fair Contract Signing Protocol Based on Blockchain Technology YU Lei, ZHAO Xiao-Fang, SUN Yi, ZHANG Jun, ZHANG Han-Wen, WANG Ke-Yuan, JIA Lin-Peng, JIN Yan, HU Bin Published December 06, 2020 (13 pages) 2020,31(12):3867-3879 [Abstract(4112)]  [View PDF(5956)1.32 M]

Efficient Single-packet Traceback Approach Based on Alliance Theory LU Ning, ZHANG Jun-Wei, MA Jian-Feng, CHENG Qing-Feng, ZHANG Jia-Wei, WANG Shang-Guang Published December 06, 2020 (29 pages) 2020,31(12):3880-3908 [Abstract(1624)]  [View PDF(4137)1.43 M]

Scheme of Revisable Blockchain REN Yan-Li, XU Dan-Ting, ZHANG Xin-Peng, GU Da-Wu Published December 06, 2020 (14 pages) 2020,31(12):3909-3922 [Abstract(3779)]  [View PDF(5981)584.99 K]

Attribute-based Encryption Scheme with Fast Encryption LUO Wang-Ping, FENG Chao-Sheng, ZOU Li-Ping, YUAN Ding, WU Tang-Mei, LI Min, WANG Guang-Jie Published December 06, 2020 (14 pages) 2020,31(12):3923-3936 [Abstract(1357)]  [View PDF(3445)1.48 M]

Routing Algorithm for Video Opportunistic Transmission Based on Multi-player Cooperative Game WU Hong-Hai, MA Hua-Hong, XING Ling, ZHENG Guo-Qiang Published December 06, 2020 (13 pages) 2020,31(12):3937-3949 [Abstract(1178)]  [View PDF(2898)1.41 M]

Protocols for Secure Test on Relationship on Number Axis GONG Lin-Ming, LI Shun-Dong, SHAO Lian-He, XUE Tao, WANG Dao-Shun Published December 06, 2020 (18 pages) 2020,31(12):3950-3967 [Abstract(1012)]  [View PDF(2767)1.68 M]

Image Restoration Based on Cascading Dense Network in Contourlet Transform Domain LIU Yu-Nan, ZHANG Shan-Shan, WANG Chun-Peng, LI Guang-Yu, YANG Jian Published December 06, 2020 (13 pages) 2020,31(12):3968-3980 [Abstract(2533)]  [View PDF(3963)2.16 M]

Dynamically Fine-grained Scheduling Method in Cloud Environment ZHOU Mo-Song, DONG Xiao-She, CHEN Heng, ZHANG Xing-Jun Published December 06, 2020 (19 pages) 2020,31(12):3981-3999 [Abstract(1472)]  [View PDF(3776)1.98 M]