DRL-based computing offloading approach for large-scale heterogeneous tasks in mobile edge computing.
Concurr. Comput. Pract. Exp., August, 2024
Isolating all the real roots of a mixed trigonometric-polynomial.
J. Symb. Comput., March, 2024
Core Context Aware Attention for Long Context Language Modeling.
CoRR, 2024
M2DA: Multi-Modal Fusion Transformer Incorporating Driver Attention for Autonomous Driving.
CoRR, 2024
CodeFuse-Query: A Data-Centric Static Code Analysis System for Large-Scale Organizations.
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
CoRR, 2024
Enchanting Program Specification Synthesis by Large Language Models Using Static Analysis and Program Verification.
Proceedings of the Computer Aided Verification - 36th International Conference, 2024
Square-Free Pure Triangular Decomposition of Zero-Dimensional Polynomial Systems.
J. Syst. Sci. Complex., December, 2023
Choosing better variable orderings for cylindrical algebraic decomposition via exploiting chordal structure.
J. Symb. Comput., 2023
Isolating Bounded and Unbounded Real Roots of a Mixed Trigonometric-Polynomial.
CoRR, 2023
A Generalized Extended MIMO Array Design Strategy for DOA Estimation.
Proceedings of the IEEE International Conference on Signal Processing, 2023
Local Search for Solving Satisfiability of Polynomial Formulas.
Proceedings of the Computer Aided Verification - 35th International Conference, 2023
Boost Test-Time Performance with Closed-Loop Inference.
CoRR, 2022
Square-free Strong Triangular Decomposition of Zero-dimensional Polynomial Systems.
CoRR, 2022
Downscaling and Overflow-aware Model Compression for Efficient Vision Processors.
Proceedings of the 42nd IEEE International Conference on Distributed Computing Systems, 2022
Towards Accurate Facial Motion Retargeting with Identity-Consistent and Expression-Exclusive Constraints.
Proceedings of the Thirty-Sixth AAAI Conference on Artificial Intelligence, 2022
Choosing the Variable Ordering for Cylindrical Algebraic Decomposition via Exploiting Chordal Structure.
Proceedings of the ISSAC '21: International Symposium on Symbolic and Algebraic Computation, 2021
Solving Satisfiability of Polynomial Formulas By Sample-Cell Projection.
CoRR, 2020
Generative Low-Bitwidth Data Free Quantization.
Proceedings of the Computer Vision - ECCV 2020, 2020
A New Sparse SOS Decomposition Algorithm Based on Term Sparsity.
Proceedings of the 2019 on International Symposium on Symbolic and Algebraic Computation, 2019
Monitoring CTMCs by Multi-clock Timed Automata.
Proceedings of the Computer Aided Verification - 30th International Conference, 2018