2 citations · 9 across the 7 of their papers we have counts for
Showing 2022Show all
3 papers · 1 filter
cs.CV2022★ 1 cited
Adversarial Example Defense via Perturbation Grading Strategy
Shaowei Zhu, Wanli Lyu, Bin Li +2
Deep Neural Networks have been widely used in many fields. However, studies have shown that DNNs are easily attacked by adversarial examples, which have tiny perturbations and grea…
cs.LO2022★ 1 cited
When Less Is More: Consequence-Finding in a Weak Theory of Arithmetic
Zachary Kincaid, Nicolas Koh, Shaowei Zhu
This paper presents a theory of non-linear integer/real arithmetic and algorithms for reasoning about this theory. The theory can be conceived as an extension of linear integer/rea…
cs.CR2022★ 2 cited
Verifiable Access Control for Augmented Reality Localization and Mapping
Shaowei Zhu, Hyo Jin Kim, Maurizio Monge +4
Localization and mapping is a key technology for bridging the virtual and physical worlds in augmented reality (AR). Localization and mapping works by creating and querying maps ma…