no code implementations • 11 Jun 2022 • Tali Boneh-Shitrit, Shir Amir, Annika Bremhorst, Daniel S. Mills, Stefanie Riemer, Dror Fried, Anna Zamansky
Similarly to humans, facial expressions in animals are closely linked with emotional states.
no code implementations • 18 May 2022 • Giuseppe De Giacomo, Dror Fried, Fabio Patrizi, Shufang Zhu
Devising a strategy to make a system mimicking behaviors from another system is a problem that naturally arises in many areas of Computer Science.
1 code implementation • NeurIPS 2020 • Jeffrey M. Dudek, Dror Fried, Kuldeep S. Meel
The proposed reduction is achieved via a significant increase in the dimensionality that, contrary to conventional wisdom, leads to solving an instance of the relatively simpler problem of model counting.
no code implementations • 19 May 2018 • Liat Cohen, Dror Fried, Gera Weiss
We present an algorithm that takes a discrete random variable $X$ and a number $m$ and computes a random variable whose support (set of possible outcomes) is of size at most $m$ and whose Kolmogorov distance from $X$ is minimal.
no code implementations • 21 Dec 2015 • Kuldeep S. Meel, Moshe Vardi, Supratik Chakraborty, Daniel J. Fremont, Sanjit A. Seshia, Dror Fried, Alexander Ivrii, Sharad Malik
Constrained sampling and counting are two fundamental problems in artificial intelligence with a diverse range of applications, spanning probabilistic reasoning and planning to constrained-random verification.
