research
∙
05/17/2023
Online List Labeling with Predictions
A growing line of work shows how learned predictions can be used to brea...
share
research
∙
11/04/2022
Agent-update Models
In dynamic epistemic logic (Van Ditmarsch et al., 2008) it is customary ...
research
∙
07/06/2021
Telescoping Filter: A Practical Adaptive Filter
Filters are fast, small and approximate set membership data structures. ...
research
∙
01/22/2020
Subjective Knowledge and Reasoning about Agents in Multi-Agent Systems
Though a lot of work in multi-agent systems is focused on reasoning abou...
research
∙
12/11/2019
Non-intrusive Load Monitoring via Multi-label Sparse Representation based Classification
This work follows the approach of multi-label classification for non-int...
research
∙
10/17/2019
Multi Label Restricted Boltzmann Machine for Non-Intrusive Load Monitoring
Increasing population indicates that energy demands need to be managed i...
research
∙
12/24/2018
The Online Event-Detection Problem
Given a stream S = (s_1, s_2, ..., s_N), a ϕ-heavy hitter is an item s_i...
research
∙
07/03/2018
Efficient Rational Proofs with Strong Utility-Gap Guarantees
As modern computing moves towards smaller devices and powerful cloud pla...
research
∙
11/05/2017
Bloom Filters, Adaptivity, and the Dictionary Problem
The Bloom filter---or, more generally, an approximate membership query d...
research
∙
08/01/2017
Rational Proofs with Non-Cooperative Provers
Interactive-proof-based approaches are widely used in verifiable computa...
research
∙
12/22/2016
How to Train Your Deep Neural Network with Dictionary Learning
Currently there are two predominant ways to train deep neural networks. ...
research
∙
12/22/2016
