default search action
41st NCTCS 2023: Guangzhou, China
- Zhiping Cai, Mingyu Xiao, Jialin Zhang:
Theoretical Computer Science - 41st National Conference, NCTCS 2023, Guangzhou, China, July 21-23, 2023, Revised Selected Papers. Communications in Computer and Information Science 1944, Springer 2024, ISBN 978-981-99-7742-0
Computational Theory and Models
- Haotian Zhang, Rao Li, Zewei Wu, Guodong Sun:
Nonmonotone Submodular Maximization Under Routing Constraints. 3-17 - Hao Wen, Jinzhao Wu, Jianmin Jiang, Jianqing Li, Zhong Hong:
A Formal Approach for Traceability Preservation in Software Development Process. 18-35 - Shengli Zhang, Jing Chen:
Generalized Properties of Generalized Fuzzy Sets GFScom and Its Application. 36-64 - Dongliang Zhou, Lihui Lei:
A Novel Method for Signal Sequence Classification Based on Markov Reward Models. 65-81
Approximation Algorithms
- Jiadong Peng, Zhanmao Cao:
An Optimal Algorithm Based on Fairness of Resource Allocation in Wireless Mesh Networks. 85-95 - Menghan Cao:
An Approximation Algorithm for Stochastic Power Cover Problem. 96-106 - Yucheng Liu:
ε-Approximate Bisimulations for Nondeterministic Fuzzy Kripke Structures. 107-132 - Yaru Yang, Wuyun Fu, Honglin Ding:
Scheduling with Hierarchies and Overload Cost. 133-147
Artificial Intelligence
- Wencheng Sun, Zhiping Cai, Xiaoyong Chen:
Region-SMOTE: A New Over-Sampling Method in Imbalanced Data Sets Learning. 151-160 - Yipeng Wang, Boyu Chen, Yujian Song, Deyue Zhang:
Intelligent Decision Making for Tanker Air Control Conflict Deployment. 161-169 - Yu He, Meiling Cai:
Efficient Recommendation Algorithm for Employment of College Students for Various Majors. 170-189 - Yanyi Li, Pin Xu, Haoyuan Chen, Yufei Han, Guojian Xiao, Kuan Li, Jianping Yin:
Coordinated Reconstruction Dual-Branch Network for Low-Dose PET Reconstruction. 190-200
Networks and Security
- Erfei Jia, Dongwen Tian, Tian Nan, Longjie Li:
Link Prediction in Dynamic Networks Based on Topological and Historical Information. 203-220 - Na Shan, Wenxin Yang, Zhaozhi Zhang, Longjie Li:
Link Prediction in Multiplex Network Based on Regression and Conditional Probability. 221-236 - Boya Liu, Haitao Ye, Jizhou Chen, Yong Xia, Jieren Cheng:
A Zero Trust Model for Networked Self-Service Terminals. 237-247 - Meihua Xiao, Shanshan Qiao, Tao Liu, Ke Yang, Zehuan Li, Dongming Zhan:
Modeling and Verification of WPA3 Security Protocol Based on SPIN. 248-265
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.