( en | de | ru )

 

Disambiguation of "Xue, Bai"

Author of the publication

copydeleteadd this publication to your clipboard
PRODeep: a platform for robustness verification of deep neural networks.

, , , , , , , and . ESEC/SIGSOFT FSE, page 1630-1634. ACM, (2020)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Xue Bai

Xue Xue Zhang

Mingzeng Bai

Alexandra Bai

Cheng Xue

 

Other publications of authors with the same name

The measurement-induced nonlocality of two spins in a single-model cavity system., , , , and . Quantum Inf. Process., 20 (11): 364 (2021)Multichannel High-Speed Data Caching System on FPGA for RAID Storage., , and . CSPS (3), volume 517 of Lecture Notes in Electrical Engineering, page 482-491. Springer, (2018)Geodesic Matting: A Framework for Fast Interactive Image and Video Segmentation and Matting., and . Int. J. Comput. Vis., 82 (2): 113-132 (2009)Under-Approximating Backward Reachable Sets by Polytopes., , and . CAV (1), volume 9779 of Lecture Notes in Computer Science, page 457-476. Springer, (2016)GenerativeMap: Visualization and Exploration of Dynamic Density Maps via Generative Learning Model., , , , and . IEEE Trans. Vis. Comput. Graph., 26 (1): 216-226 (2020)Optical Remote Sensing Image Registration Using Spatial-Consistency and Average Regional Information Divergence Minimization via Quantum-Behaved Particle Swarm Optimization., , , , , and . Remote. Sens., 12 (18): 3066 (2020)Multi-Task Learning in Conditional Random Fields for Chunking in Shallow Semantic Parsing., , , , and . PACLIC, page 180-189. City University of Hong Kong Press, (2009)Kinect-Based Hand Tracking for First-Person-Perspective Robotic Arm Teleoperation., , , , , and . ICIA, page 684-691. IEEE, (2018)Safety Verification for Neural Networks Based on Set-Boundary Analysis., , , , , and . TASE, volume 13931 of Lecture Notes in Computer Science, page 248-267. Springer, (2023)Safe Inputs Approximation for Black-Box Systems., , , , , and . ICECCS, page 180-189. IEEE, (2019)