Zobrazeno 1 - 10
of 534
pro vyhledávání: '"Shah, Shetal"'
We present a new multi-objective optimization approach for synthesizing interpretations that "explain" the behavior of black-box machine learning models. Constructing human-understandable interpretations for black-box models often requires balancing
Externí odkaz:
http://arxiv.org/abs/2108.07307
Autor:
Tuifua, Tisileli S., Kapoor, Baljendra, Partovi, Sasan, Shah, Shetal N., Bullen, Jennifer A., Enders, Jacob, Laique, Sobia, Levitin, Abraham, Gadani, Sameer
Publikováno v:
In Journal of Vascular and Interventional Radiology May 2024 35(5):648-657
Autor:
Attawettayanon, Worapat, Yasuda, Yosuke, Zhang, JJ H., Kazama, Akira, Rathi, Nityam, Munoz-Lopez, Carlos, Lewis, Kieran, Shah, Snehi, Li, Jianbo, Emrich Accioly, João Pedro, Campbell, Rebecca A., Shah, Shetal, Wood, Andrew, Kaouk, Jihad, Haber, Georges-Pascal, Eltemamy, Mohamad, Krishnamurthi, Venkatesh, Abouassaly, Robert, Weight, Christopher, Derweesh, Ithaar, Campbell, Steven C.
Publikováno v:
In European Urology Open Science August 2023 54:1-9
Autor:
Akshay, S., Arora, Jatin, Chakraborty, Supratik, Krishna, S., Raghunathan, Divya, Shah, Shetal
Given a Boolean formula F(X,Y), where X is a vector of outputs and Y is a vector of inputs, the Boolean functional synthesis problem requires us to compute a Skolem function vector G(Y)for X such that F(G(Y),Y) holds whenever \exists X F(X,Y) holds.
Externí odkaz:
http://arxiv.org/abs/1908.06275
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Given a relational specification between Boolean inputs and outputs, the goal of Boolean functional synthesis is to synthesize each output as a function of the inputs such that the specification is met. In this paper, we first show that unless some h
Externí odkaz:
http://arxiv.org/abs/1804.05507
Given a relational specification R(X, Y), where X and Y are sequences of input and output variables, we wish to synthesize each output as a function of the inputs such that the specification holds. This is called the Boolean functional synthesis prob
Externí odkaz:
http://arxiv.org/abs/1703.01440
Publikováno v:
Annals of Mathematics & Artificial Intelligence; Oct2024, Vol. 92 Issue 5, p1051-1096, 46p