Filter dates
Overview
- functional programming
- automatic target detection
- interactive image segmentation
- generalized likelihood ratio
- theorem prover
Publications
MilDetr: Detection Transformer for Military Camouflaged Target Detection.
IEEE Access
BSGAT: A Graph Attention Network for Binary Code Similarity Detection.
PRDC
MilInst: Enhanced Instance Segmentation Framework for Military Camouflaged Targets Using Sparse Instance Activation.
IEEE Access
Course Design and Tool Development for Functional Programming Integrating with Program Verification: from the Perspective of the Interactive Theorem Prover.
ACM TUR-C