124 citations
- Institut national de recherche en sciences et technologies du numériqueFR6 papers
- Indian Institute of Technology KharagpurIN5 papers
- Microsoft (United States)US3 papers
- Google (United States)US2 papers
- Laboratoire d'Informatique de l'École PolytechniqueFR2 papers
- Microsoft Research (United Kingdom)GB2 papers
- The Ohio State UniversityUS2 papers
- The University of Texas at AustinUS2 papers
- University of BolognaIT2 papers
- University of PennsylvaniaUS2 papers
- Aalborg UniversityDK1 paper
- Association for Symbolic LogicUS1 paper
8 papers · 1 filter
Low-rank Matrix Completion using Alternating Minimization
Prateek Jain, Praneeth Netrapalli, Sujay Sanghavi
Alternating minimization represents a widely applicable and empirically successful approach for finding low-rank matrices that best fit the given data. For example, for the problem…
On the Existence of Telescopers for Mixed Hypergeometric Terms
Shaoshi Chen, Frédéric Chyzak, Ruyong Feng +2
We present a criterion for the existence of telescopers for mixed hypergeometric terms, which is based on multiplicative and additive decompositions. The criterion enables us to de…
Supervised Learning with Similarity Functions
Purushottam Kar, Prateek Jain
We address the problem of general supervised learning when data can only be accessed through an (indefinite) similarity function between data points. Existing work on learning with…
Convergence of multivariate belief propagation, with applications to cuckoo hashing and load balancing
Mathieu Leconte, Marc Lelarge, Laurent Massoulié
This paper is motivated by two applications, namely i) generalizations of cuckoo hashing, a computationally simple approach to assigning keys to objects, and ii) load balancing in…
Variable and Thread Bounding for Systematic Testing of Multithreaded Programs
Sandeep Bindal, Sorav Bansal, Akash Lal
Previous approaches to systematic state-space exploration for testing multi-threaded programs have proposed context-bounding and depth-bounding to be effective ranking algorithms f…
Making life better one large system at a time: Challenges for UAI research
Moises Goldszmidt
The rapid growth and diversity in service offerings and the ensuing complexity of information technology ecosystems present numerous management challenges (both operational and str…