4 papers
Security Properties as Nested Causal Statements
Matvey Soloviev, Joseph Y. Halpern
Thinking in terms of causality helps us structure how different parts of a system depend on each other, and how interventions on one part of a system may result in changes to other…
Information Acquisition Under Resource Limitations in a Noisy Environment
Matvey Soloviev, Joseph Y. Halpern
We introduce a theoretical model of information acquisition under resource limitations in a noisy environment. An agent must guess the truth value of a given Boolean formula af…
The Impact of Tribalism on Social Welfare
Seunghee Han, Matvey Soloviev, Yuwen Wang
We explore the impact of mutual altruism among the players belonging to the same set -- their tribe -- in a partition of all players in arbitrary strategic games upon the quality o…
In the Shadows, Shape Priors Shine: Using Occlusion to Improve Multi-Region Segmentation
Yuka Kihara, Matvey Soloviev, Tsuhan Chen
We present a new algorithm for multi-region segmentation of 2D images with objects that may partially occlude each other. Our algorithm is based on the observation hat human perfor…