Towards Context-Agnostic Learning Using Synthetic Data

von Jin, Charles
Veröffentlicht in NeurIPS (35. : 2021 : Online) 35th Conference on Neural Information Processing Systems (NeurIPS 2021) ; Volume 31 of 36 (2022)

Concurrent constraint programming

von Saraswat, Vijay
Veröffentlicht 1989

Exploiting Verified Neural Networks via Floating Point Numerical Error

von Jia, Kai
Veröffentlicht in International Static Analysis Symposium (28. : 2021 : Chicago, Online) Static Analysis (2021)

Verifying Low-Dimensional Input Neural Networks via Input Quaniization

von Jia, Kai
Veröffentlicht in International Static Analysis Symposium (28. : 2021 : Chicago, Online) Static Analysis (2021)

Efficient Exact Verification of Binarized Neural Networks

von Jia, Kai
Veröffentlicht in NeurIPS (34. : 2020 : Online) 34th Conference on Neural Information Processing Systems (NeurIPS 2020) ; Volume 3 of 27 (2021)

LAX: DRIVER INTERFACES FOR APPROXIMATE SENSOR DEVICE ACCESS

von Stanley-Marbell, Phillip
Veröffentlicht in Workshop on Hot Topics in Operating Systems (15. : 2015 : Warth-Weiningen) 15th Workshop on Hot Topics in Operating Systems (HotOS XV) (2020)

On the Impact of Player Capability on Congestion Games

von Yang, Yichen
Veröffentlicht in SAGT (15. : 2022 : Colchester) Algorithmic game theory (2022)

Doing More with Less: Characterizing Dataset Downsampling for AutoML

von Zogaj, Fatjon
Veröffentlicht in VLDB (47. : 2021 : Kopenhagen; Online) 47th International Conference on Very Large Data Bases 2021 ; Part 3 of 4 (2021)

PRINCIPLED SAMPLING FOR ANOMALY DETECTION

von Juba, Brendan
Veröffentlicht in Network and Distributed System Security Symposium (22. : 2015 : San Diego, Calif.) Network and Distributed System Security Symposium 2015 (NDSS '15) (2020)

INFORMATION FLOW ANALYSIS OF ANDROID APPLICATIONS IN DROIDSAFE

von Gordon, Michael I.
Veröffentlicht in Network and Distributed System Security Symposium (22. : 2015 : San Diego, Calif.) Network and Distributed System Security Symposium 2015 (NDSS '15) (2020)

Program Synthesis Guided Reinforcement Learning for Partially Observed Environments

von Yang, Yichen
Veröffentlicht in NeurIPS (35. : 2021 : Online) 35th Conference on Neural Information Processing Systems (NeurIPS 2021) ; Volume 35 of 36 (2022)

NEUROSYMBOLIC TRANSFORMERS FOR MULTI-AGENT COMMUNICATION

von Inala, Jeevana Priya
Veröffentlicht in NeurIPS (34. : 2020 : Online) 34th Conference on Neural Information Processing Systems (NeurIPS 2020) ; Volume 17 of 27 (2021)

CONTEXTUAL POLICY ENFORCEMENT IN ANDROID APPLICATIONS WITH PERMISSION EVENT GRAPHS

von Chen, Kevin
Veröffentlicht in Network and Distributed System Security Symposium (20. : 2013 : San Diego, Calif.) Network and Distributed System Security Symposium 2013 (NDSS '13) ; Volume 1 of 2 (2020)