research
∙
11/09/2022
Improve Model Testing by Integrating Bounded Model Checking and Coverage Guided Fuzzing
The control logic models built by Simulink or Ptolemy have been widely u...
share
research
∙
07/23/2021
Dynamic Proximal Unrolling Network for Compressive Sensing Imaging
Recovering an underlying image from under-sampled measurements, Compress...
research
∙
07/06/2021
Integrating Circle Kernels into Convolutional Neural Networks
The square kernel is a standard unit for contemporary Convolutional Neur...
research
∙
05/08/2020
Corrigendum and Supplement to "Improve Language Modelling for Code Completion through Learning General Token Repetition of Source Code (with Optimized Memory)"
This paper is written because I receive several inquiry emails saying it...
research
∙
05/08/2020
Corrigendum to "Improve Language Modelling for Code Completion through Learning General Token Repetition of Source Code (with Optimized Memory)"
This paper is written because I receive several inquiry emails saying it...
research
∙
05/08/2020
Corrigendum to Improve Language Modelling for Code Completion through Learning General Token Repetition of Source Code
This paper is written because I receive several inquiry emails saying it...
research
∙
03/18/2020
Improving the Robustness to Data Inconsistency between Training and Testing for Code Completion by Hierarchical Language Model
In the field of software engineering, applying language models to the to...
research
∙
11/15/2019
Single Image Reflection Removal through Cascaded Refinement
We address the problem of removing undesirable reflections from a single...
research
∙
09/25/2019