Volume 30,Issue 11,2019 Table of Contents

Other Issues:  
  
Contents

  • Detection of Ranking Functions of Polynomial Loop Programs
  • LI Yi and FENG Yong
  • 2019,30(11):3243-3258 [Abstract(859)]  [View PDF(458)1.71 M]
  • Guiding Symbolic Execution Analysis by Leveraging Program Function Label Slice
  • GAN Shui-Tao, WANG Lin-Zhang, XIE Xiang-Hui, QIN Xiao-Jun, ZHOU Lin and CHEN Zuo-Ning
  • 2019,30(11):3259-3280 [Abstract(1368)]  [View PDF(1165)2.96 M]
  • Detecting Data Races in Android Applications Based on Shared Variable Analysis and Constraint Solver
  • SUN Quan, XU Lei, XIA Xin-Meng and ZHANG Wei-Feng
  • 2019,30(11):3281-3296 [Abstract(55)]  [View PDF(33)1.59 M]
  • Approach to Modeling and Executing Context-aware Services of Smart Home at Runtime
  • CHEN Xing, HUANG Zhi-Ming, YE Xin-Shu, MA Yun, CHEN Yi-Yan and GUO Wen-Zhong
  • 2019,30(11):3297-3312 [Abstract(63)]  [View PDF(43)2.02 M]
  • Hybrid Neural Network Models for Human-machine Dialogue Intention Classification
  • ZHOU Jun-Zuo, ZHU Zong-Kui, HE Zheng-Qiu, CHEN Wen-Liang and ZHANG Min
  • 2019,30(11):3313-3325 [Abstract(78)]  [View PDF(51)1.43 M]
  • Deep Belief Network Based on Noisy Data and Clean Data
  • ZHANG Nan, DING Shi-Fei, ZHANG Jian and ZHAO Xing-Yu
  • 2019,30(11):3326-3339 [Abstract(60)]  [View PDF(52)1.84 M]
  • Method of Metaphor Recognition Based on Dynamic Categorization
  • SU Chang, FU Ze, ZHENG Fa-Kui and CHEN Yi-Jiang
  • 2019,30(11):3340-3354 [Abstract(56)]  [View PDF(51)1.47 M]
  • Simple Tabular Reduction Algorithm Based on Time-stamp Mechanism
  • YANG Ming-Qi, LI Zhan-Shan and ZHANG Jia-Chen
  • 2019,30(11):3355-3363 [Abstract(1020)]  [View PDF(504)1.56 M]
  • Strategy of Parallel Merge Join Based on Prune in Distributed Database
  • GAO Jin-Tao, LI Zhan-Huai, DU Hong-Tao and LIU Wen-Jie
  • 2019,30(11):3364-3381 [Abstract(1111)]  [View PDF(597)1.86 M]
  • Recommendation Approach by Simultaneous Learning Latent Features and Preferences Guidance
  • LI Lin, ZHU Ge, XIE Qing, SU Chang and YANG Zheng-Lu
  • 2019,30(11):3382-3396 [Abstract(46)]  [View PDF(44)1.97 M]
  • Microblog Recommendation Method Based on Hypergraph Random Walk Tag Extension
  • MA Hui-Fang, ZHANG Di, ZHAO Wei-Zhong and SHI Zhong-Zhi
  • 2019,30(11):3397-3412 [Abstract(42)]  [View PDF(34)1.76 M]
  • Algorithm Introduced Sequence Information for Residue Interaction Network Alignment
  • TAO Si-Han and DING Yan-Rui
  • 2019,30(11):3413-3426 [Abstract(33)]  [View PDF(59)1.66 M]
  • WKNN Indoor Positioning Algorithm Based on Spatial Characteristics Partition and Former Location Restriction
  • YANG Hai-Feng, ZHANG Yong-Bo, HUANG Yu-Liang and FU Hui-Min
  • 2019,30(11):3427-3439 [Abstract(902)]  [View PDF(545)1.50 M]
  • Delay Satisfied Route Selection and Real-time Update Scheduling in Software Defined Networking
  • ZHU Jin-Qi, SUN Hua-Zhi, HUANG Yong-Xin and LIU Ming
  • 2019,30(11):3440-3456 [Abstract(40)]  [View PDF(49)1.75 M]
  • Multi-sensor Assisted WiFi Signal Fingerprint Based Indoor Positioning Technology
  • SHI Ke, SONG Xiao-Mei, Wang Xin-Da and HU Wen-Biao
  • 2019,30(11):3457-3468 [Abstract(34)]  [View PDF(33)1.52 M]
  • Indexing Method for Approximate Cost Constrained Minimal Temporal Paths Queries in Public Transportation Networks
  • MA Hui, TANG Yong and LIANG Rui-Shi
  • 2019,30(11):3469-3485 [Abstract(46)]  [View PDF(55)1.84 M]
  • Ethereum Coin Voting Protocol Based on Smart Contract
  • FU Li-Qing and TIAN Hai-Bo
  • 2019,30(11):3486-3502 [Abstract(45)]  [View PDF(56)1.86 M]
  • Privacy-preserving k-Nearest Neighbor Classifier
  • XU Jian, WANG An-Di, BI Meng and ZHOU Fu-Cai
  • 2019,30(11):3503-3517 [Abstract(65)]  [View PDF(45)1.56 M]
  • Defending Code Reuse Attacks Based on Running Characteristics Monitoring
  • ZHANG Gui-Min, LI Qing-Bao, ZHANG Ping and CHENG San-Jun
  • 2019,30(11):3518-3534 [Abstract(33)]  [View PDF(37)1.94 M]
  • Private Social-willing Detection
  • GONG Lin-Ming, LI Shun-Dong, DOU Jia-Wei and WANG Dao-Shun
  • 2019,30(11):3535-3548 [Abstract(1003)]  [View PDF(680)1.53 M]
  • Fast Multi-way Regional Makeup Transfer Deep Network
  • HUANG Yan, HE Ze-Wen and ZHANG Wen-Sheng
  • 2019,30(11):3549-3566 [Abstract(28)]  [View PDF(31)4.57 M]
  • Sketch-based Image Retrieval Using Cross-domain Modeling and Deep Fusion Network
  • YU Deng, LIU Yu-Jie, XING Min-Min, LI Zong-Min and LI Hua
  • 2019,30(11):3567-3577 [Abstract(32)]  [View PDF(41)1.58 M]