A growing line of work shows how learned predictions can be used to brea...
In dynamic epistemic logic (Van Ditmarsch et al., 2008) it is customary ...
Filters are fast, small and approximate set membership data structures. ...
Though a lot of work in multi-agent systems is focused on reasoning abou...
This work follows the approach of multi-label classification for
non-int...
Increasing population indicates that energy demands need to be managed i...
Given a stream S = (s_1, s_2, ..., s_N), a ϕ-heavy hitter is an item
s_i...
As modern computing moves towards smaller devices and powerful cloud
pla...
The Bloom filter---or, more generally, an approximate membership query d...
Interactive-proof-based approaches are widely used in verifiable computa...
Currently there are two predominant ways to train deep neural networks. ...
This work addresses the problem of extracting deeply learned features
di...