Search Results for author:
Found 2 papers, 0 papers with code
Reslicing Ultrasound Images for Data Augmentation and Vessel Reconstruction
Robot-guided catheter insertion has the potential to deliver urgent medical care in situations where medical personnel are unavailable.
Provably Robust Model-Centric Explanations for Critical Decision-Making
We recommend using a model-centric, Boolean Satisfiability (SAT) formalism to obtain useful explanations of trained model behavior, different and complementary to what can be gleaned from LIME and SHAP, popular data-centric explanation tools in Artificial Intelligence (AI).
Cannot find the paper you are looking for? You can
Submit a new open access paper.
