215 citations
- Microsoft (United States)US8 papers
- Johns Hopkins UniversityUS4 papers
- Massachusetts Institute of TechnologyUS3 papers
- Tel Aviv UniversityIL3 papers
- University of California, BerkeleyUS3 papers
- University of ChicagoUS3 papers
- University of MichiganUS3 papers
- University of WashingtonUS3 papers
- Argonne National LaboratoryUS2 papers
- Institut national de recherche en sciences et technologies du numériqueFR2 papers
- Microsoft Research (India)IN2 papers
- Microsoft Research New England (United States)US2 papers
13 papers · 1 filter
Weakly Supervised Learning of Foreground-Background Segmentation using Masked RBMs
Nicolas Heess, Nicolas Le Roux, John Winn
We propose an extension of the Restricted Boltzmann Machine (RBM) that allows the joint shape and appearance of foreground objects in cluttered images to be modeled independently o…
Extracting and Verifying Cryptographic Models from C Protocol Code by Symbolic Execution
Mihhail Aizatulin, Andrew D. Gordon, Jan Jürjens
Consider the problem of verifying security properties of a cryptographic protocol coded in C. We propose an automatic solution that needs neither a pre-existing protocol descriptio…
SOBA: Secrecy-preserving Observable Ballot-level Audit
Josh Benaloh, Douglas Jones, Eric Lazarus +2
SOBA is an approach to election verification that provides observers with justifiably high confidence that the reported results of an election are consistent with an audit trail ("…
Residual Component Analysis
Alfredo A. Kalaitzis, Neil D. Lawrence
Probabilistic principal component analysis (PPCA) seeks a low dimensional representation of a data set in the presence of independent spherical Gaussian noise, Sigma = (sigma^2)*I.…
Learning with the Weighted Trace-norm under Arbitrary Sampling Distributions
Rina Foygel, Ruslan Salakhutdinov, Ohad Shamir +1
We provide rigorous guarantees on learning with the weighted trace-norm under arbitrary sampling distributions. We show that the standard weighted trace-norm might fail when the sa…
Implementing Performance Competitive Logical Recovery
David Lomet, Kostas Tzoumas, Michael Zwilling
New hardware platforms, e.g. cloud, multi-core, etc., have led to a reconsideration of database system architecture. Our Deuteronomy project separates transactional functionality f…