Few-shot Image Classification: Just Use a Library of Pre-trained Feature Extractors and a Simple Classifier
Chowdhury, Arkabandhu, Jiang, Mingchao, Chaudhuri, Swarat, Jermaine, Chris
Published in 2021 IEEE/CVF International Conference on Computer Vision (ICCV) (01.01.2021)
Published in 2021 IEEE/CVF International Conference on Computer Vision (ICCV) (01.01.2021)
Get full text
Conference Proceeding
Comparator automata in quantitative verification
Bansal, Suguman, Chaudhuri, Swarat, Vardi, Moshe Y.
Published in Logical methods in computer science (01.01.2022)
Published in Logical methods in computer science (01.01.2022)
Get full text
Journal Article
AI2: Safety and Robustness Certification of Neural Networks with Abstract Interpretation
Gehr, Timon, Mirman, Matthew, Drachsler-Cohen, Dana, Tsankov, Petar, Chaudhuri, Swarat, Vechev, Martin
Published in 2018 IEEE Symposium on Security and Privacy (SP) (01.05.2018)
Published in 2018 IEEE Symposium on Security and Privacy (SP) (01.05.2018)
Get full text
Conference Proceeding
Effect of Milling on Dielectric Properties of PZT
Chaudhuri, Swarat, Pandey, Shyamanand, Roy, Sumit K., Singh, Rahul K.
Published in Materials science forum (27.09.2023)
Published in Materials science forum (27.09.2023)
Get full text
Journal Article
The Task-Motion Kit: An Open Source, General-Purpose Task and Motion-Planning Framework
Dantam, Neil T., Chaudhuri, Swarat, Kavraki, Lydia E.
Published in IEEE robotics & automation magazine (01.09.2018)
Published in IEEE robotics & automation magazine (01.09.2018)
Get full text
Journal Article
Meta-Meta Classification for One-Shot Learning
Chowdhury, Arkabandhu, Chaudhari, Dipak, Chaudhuri, Swarat, Jermaine, Chris
Published in 2022 IEEE/CVF Winter Conference on Applications of Computer Vision (WACV) (01.01.2022)
Published in 2022 IEEE/CVF Winter Conference on Applications of Computer Vision (WACV) (01.01.2022)
Get full text
Conference Proceeding
Bottom-up synthesis of recursive functional programs using angelic execution
Miltner, Anders, Nuñez, Adrian Trejo, Brendel, Ana, Chaudhuri, Swarat, Dillig, Isil
Published in Proceedings of ACM on programming languages (01.01.2022)
Published in Proceedings of ACM on programming languages (01.01.2022)
Get full text
Journal Article
Investigating the Impact of Annealing Temperature on CdS Nanoparticles: Optimizing Solar Photovoltaic Efficiency
Kumar Mahato, Prabin, Chaudhuri, Swarat, Lal Patel, Shankar, Patra, Prashanta
Published in IOP conference series. Earth and environmental science (01.07.2024)
Published in IOP conference series. Earth and environmental science (01.07.2024)
Get full text
Journal Article
Online Partial Conditional Plan Synthesis for POMDPs With Safe-Reachability Objectives: Methods and Experiments
Wang, Yue, Newaz, Abdullah Al Redwan, Hernandez, Juan David, Chaudhuri, Swarat, Kavraki, Lydia E.
Published in IEEE transactions on automation science and engineering (01.07.2021)
Published in IEEE transactions on automation science and engineering (01.07.2021)
Get full text
Journal Article
A Sampling-based Motion Planning Framework for Complex Motor Actions
Sobti, Shlok, Shome, Rahul, Chaudhuri, Swarat, Kavraki, Lydia E.
Published in 2021 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS) (27.09.2021)
Published in 2021 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS) (27.09.2021)
Get full text
Conference Proceeding
Point-Based Policy Synthesis for POMDPs With Boolean and Quantitative Objectives
Wang, Yue, Chaudhuri, Swarat, Kavraki, Lydia E.
Published in IEEE robotics and automation letters (01.04.2019)
Published in IEEE robotics and automation letters (01.04.2019)
Get full text
Journal Article
Program splicing
Lu, Yanxin, Chaudhuri, Swarat, Jermaine, Chris, Melski, David
Published in 2018 IEEE/ACM 40th International Conference on Software Engineering (ICSE) (27.05.2018)
Published in 2018 IEEE/ACM 40th International Conference on Software Engineering (ICSE) (27.05.2018)
Get full text
Conference Proceeding