23.6k citations
- Carnegie Mellon UniversityUS49 papers
- Google (United States)US37 papers
- California Institute of TechnologyUS33 papers
- Amazon (Germany)DE32 papers
- University of Illinois Urbana-ChampaignUS22 papers
- Microsoft (United States)US20 papers
- Stanford UniversityUS20 papers
- The University of Texas at AustinUS20 papers
- University of California, Los AngelesUS20 papers
- University of California, Santa BarbaraUS19 papers
- University of WashingtonUS19 papers
- Georgia Institute of TechnologyUS17 papers
47 papers · 1 filter
Horn-ICE Learning for Synthesizing Invariants and Contracts
Deepak D'Souza, P. Ezudheen, Pranav Garg +2
We design learning algorithms for synthesizing invariants using Horn implication counterexamples (Horn-ICE), extending the ICE-learning model. In particular, we describe a decision…
Space-Filling Designs for Robustness Experiments
V. Roshan Joseph, Li Gu, Shan Ba +1
To identify the robust settings of the control factors, it is very important to understand how they interact with the noise factors. In this article, we propose space-filling desig…
Deterministic Sampling of Expensive Posteriors Using Minimum Energy Designs
V. Roshan Joseph, Dianpeng Wang, Li Gu +2
Markov chain Monte Carlo (MCMC) methods require a large number of samples to approximate a posterior distribution, which can be costly when the likelihood or prior is expensive to…
Learning a Complete Image Indexing Pipeline
Himalaya Jain, Joaquin Zepeda, Patrick Pérez +1
To work at scale, a complete image indexing system comprises two components: An inverted file index to restrict the actual search to only a subset that should contain most of the i…
Neural Cross-Lingual Entity Linking
Avirup Sil, Gourab Kundu, Radu Florian +1
A major challenge in Entity Linking (EL) is making effective use of contextual information to disambiguate mentions to Wikipedia that might refer to different entities in different…
Probabilistic Semantic Retrieval for Surveillance Videos with Activity Graphs
Yuting Chen, Joseph Wang, Yannan Bai +2
We present a novel framework for finding complex activities matching user-described queries in cluttered surveillance videos. The wide diversity of queries coupled with unavailabil…