Abstract is missing.
- Accelerating Predicate Abstraction by Minimum Unsatisfiable Cores ExtractionJianmin Zhang, Tiejun Li, Kefan Ma. 3-13 [doi]
- Algorithm Design Through the Optimization of Reuse-Based GenerationHaipeng Shi, Haihe Shi, Shenghua Xu. 14-32 [doi]
- An Improved Firefly Algorithm for Software Defect PredictionLianglin Cao, Kerong Ben, Hu Peng, Xian Zhang, Feipeng Wang. 33-46 [doi]
- Semi-online Algorithms for Hierarchical Scheduling on Three Parallel Machines with a Buffer Size of 1Man Xiao, Lu Ding, Shu Zhao, Weidong Li 0002. 47-56 [doi]
- GDAssister: Graphic Design Assistant System with Optimal Algorithm of Associated Rule MiningDongyi Zheng, Haotian Wang, Panyu Liu, Fang Liu, Nong Xiao. 57-69 [doi]
- Late Fusion Multi-view Clustering with Learned Consensus Similarity MatrixDan Liu, Weixuan Liang, Hongya Zhang, Wentao Zhao, Kaifan Hu. 73-86 [doi]
- Minimal Residual Based Iterative Methods and Its Parallel Implementation for Sparse Linear SystemsJiang Liu, Jin Wang. 87-104 [doi]
- A Simple yet Effective Unsupervised Adversarial Example Generation Framework for Vulnerability Assessment on Deep LearningRongkun Zhang, Dan Liu, Wentao Zhao, Qiang Liu 0004, Chengzhang Zhu. 107-122 [doi]
- Application of Graph Neural Network in Automatic Text SummarizationRui Luo, Shan Zhao 0002, Zhiping Cai. 123-138 [doi]
- Head Detection Method for Indoor SceneZhi Li, Yong Li, Xipeng Wang. 139-146 [doi]
- A Survey on the Classic Active Measurement Methods for IPv6Yipeng Wang 0010, Tongqing Zhou, Changsheng Hou, Bingnan Hou, Zhiping Cai. 149-171 [doi]
- Deriving Security Protocols Based on Protocol Derivation SystemKe Yang, Meihua Xiao, Zifan Song, Ri Ouyang. 172-184 [doi]
- An Offloading Strategy Based on RSU Cooperation for Vehicular Edge Computing SystemQi Fu, Kunhao Shang, Fei Wang, Bing Ba, Yiping Wen. 185-200 [doi]