Search Results for author:
Found 6 papers, 2 papers with code
Efficient Decoder for End-to-End Oriented Object Detection in Remote Sensing Images
To address these limitations, we propose an end-to-end oriented detector equipped with an efficient decoder, which incorporates two technologies, Rotated RoI attention (RRoI attention) and Selective Distinct Queries (SDQ).
Semi-Supervised Semantic Segmentation Methods for UW-OCTA Diabetic Retinopathy Grade Assessment
Therefore, in this paper, to promote the development of UW-OCTA DR automatic detection, we propose a novel semi-supervised semantic segmentation method for UW-OCTA DR image grade assessment.
Optimizing Fitness-For-Use of Differentially Private Linear Queries
In practice, differentially private data releases are designed to support a variety of applications.
Databases
CheckDP: An Automated and Integrated Approach for Proving Differential Privacy or Finding Precise Counterexamples
We propose CheckDP, the first automated and integrated approach for proving or disproving claims that a mechanism is differentially private.
Programming Languages D.3.1
Free Gap Information from the Differentially Private Sparse Vector and Noisy Max Mechanisms
We show that it can also release for free the noisy gap between the approximate maximizer and runner-up.
Proving Differential Privacy with Shadow Execution
Sometimes, combining those two requires substantial changes to program logics: one recent paper is able to verify Report Noisy Max automatically, but it involves a complex verification system using customized program logics and verifiers.
Programming Languages D.2.4
