Search Results for author: Chengyu Zhang

Found 2 papers, 1 papers with code

Boosting Few-Shot Segmentation via Instance-Aware Data Augmentation and Local Consensus Guided Cross Attention

no code implementations18 Jan 2024 Li Guo, Haoming Liu, Yuxuan Xia, Chengyu Zhang, Xiaochen Lu

On the other hand, the large visual difference between query and support images may hinder knowledge transfer and cripple the segmentation performance.

Data Augmentation Segmentation +1

On the Unusual Effectiveness of Type-aware Mutations for Testing SMT Solvers

1 code implementation19 Apr 2020 Dominik Winterer, Chengyu Zhang, Zhendong Su

Among the 909 bugs found by OpFuzz, 130 were soundness bugs, the most critical bugs in SMT solvers, and 501 were in the default modes of the solvers.

Software Engineering Programming Languages

Cannot find the paper you are looking for? You can Submit a new open access paper.