Jingchao Chen

According to our database, Jingchao Chen authored at least 24 papers between 2002 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Research on the Algorithm of Position Correction for High-Speed Moving Express Packages Based on Traditional Vision and AI Vision.

Ning Dai, Zhehao Lu, Jingchao Chen, Kaixin Xu, Xudong Hu, Yanhong Yuan

Sensors, February, 2024

2023

A survey on computational strategies for genome-resolved gut metagenomics.

Long-Hao Jia, Yingjian Wu, Yanqi Dong, Jingchao Chen, Wei-Hua Chen, Xing-Ming Zhao

Briefings Bioinform., May, 2023

2021

Deadline Aware Task Submission and Dynamic Virtual Machine Creation Technique in Cloud Computing.

Jyoti Singh, Jingchao Chen

Proceedings of the ICCBN 2021: 9th International Conference on Communications and Broadband Networking, Shanghai, China, 25 February, 2021, 2021

HENet: Forcing a Network to Think More for Font Recognition.

Jingchao Chen, Shiyi Mu, Shugong Xu, Youdong Ding

Proceedings of the AISS 2021: 3rd International Conference on Advanced Information Science and System, Sanya, China, November 26, 2021

2020

Fast Verifying Proofs of Propositional Unsatisfiability via Window Shifting.

Jingchao Chen

Proceedings of the International Symposium on Artificial Intelligence and Mathematics, 2020

2019

Core First Unit Propagation.

Jingchao Chen

CoRR, 2019

Comparison of Accuracy Estimation for Weighted k-Nearest Neighbor Classifiers.

Ming Zhao, Jingchao Chen, Mengyao Xu

Proceedings of the Fuzzy Systems and Data Mining V, 2019

Optimizing Energy Consumption for Cloud Computing: A Cluster and Migration Based Approach (CMBA).

Jyoti Singh, Jingchao Chen

Proceedings of the CSAI 2019: 2019 3rd International Conference on Computer Science and Artificial Intelligence, 2019

2016

Improving abcdSAT by At-Least-One Recently Used Clause Management Strategy.

Jingchao Chen

CoRR, 2016

Improving SAT Solvers via Blocked Clause Decomposition.

Jingchao Chen

CoRR, 2016

2015

Fast Blocked Clause Decomposition with High Quality.

Jingchao Chen

CoRR, 2015

2014

A Bit-Encoding Phase Selection Strategy for Satisfiability Solvers.

Jingchao Chen

Proceedings of the Theory and Applications of Models of Computation, 2014

2012

Joint Relay and Jammer Selection for Secure Two-Way Relay Networks.

Jingchao Chen, Rongqing Zhang, Lingyang Song, Zhu Han, Bingli Jiao

IEEE Trans. Inf. Forensics Secur., 2012

A Dynamic Phase Selection Strategy for Satisfiability Solvers

Jingchao Chen

CoRR, 2012

2011

Phase Selection Heuristics for Satisfiability Solvers

Jingchao Chen

CoRR, 2011

Exploiting Dynamically Propositional Logic Structures in SAT

Jingchao Chen

CoRR, 2011

Solving Rubik's Cube Using SAT Solvers

Jingchao Chen

CoRR, 2011

Joint Relay and Jammer Selection for Secure Decode-and-Forward Two-Way Relay Communications.

Jingchao Chen, Lingyang Song, Zhu Han, Bingli Jiao

Proceedings of the Global Communications Conference, 2011

2009

Grid-based clustering over an evolving data stream.

Renxia Wan, Jingchao Chen, Lixin Wang, Xiaoke Su

Int. J. Data Min. Model. Manag., 2009

Building a Hybrid SAT Solver via Conflict-Driven, Look-Ahead and XOR Reasoning Techniques.

Jingchao Chen

Proceedings of the Theory and Applications of Satisfiability Testing, 2009

2008

Improving Self-Quotient Image Method of NPR.

Huiqin Wang, Jingchao Chen

Proceedings of the International Conference on Computer Science and Software Engineering, 2008

2003

Optimizing stable in-place merging.

Jingchao Chen

Theor. Comput. Sci., 2003

2002

Efficient heuristic algorithms for finding multi-constrained paths.

Jingchao Chen

Proceedings of the IEEE International Conference on Communications, 2002

An Improvement on Tree Selection Sort.

Jingchao Chen

Proceedings of the Algorithm Engineering and Experiments, 4th International Workshop, 2002