illustration of intersecting lines with various shapes at the connecting points signifying algorithms on a green gradient background

Algorithms

Current selections

Sort by: Most recent

Clear selections

Publication

From Online to Batch Learning with Cutoff Averaging

Ofer Dekel

Advances in Neural Information Processing Systems 21 | January 2009

Advances in Neural Information Processing Systems 21

Publication

Chapter 10 – MPEG-4 Visual and H.264/AVC: Standards for Modern Digital Video

Berna Erol, Faouzi Kossentini, Anthony Joch, Gary J. Sullivan, Lowell Winger

December 2008

Publication

Darwin – An Approach for Debugging Evolving Programs

Abhik Rouchoudhury, Kapil Vaswani

MSR-TR-2008-197 | December 2008

Publication

Synthesizing Switching Logic Using Constraint Solving

Ankur Taly, Sumit Gulwani, Ashish Tiwari

VMCAI ’09 Proceedings of the 10th International Conference on Verification, Model Checking, and Abstract Interpretation | December 2008

Project Project

Publication

Constraint-Based Invariant Inference Over Predicate Abstraction

Sumit Gulwani, Saurabh Srivastava, Ramarathnam Venkatesan

VMCAI ’09 Proceedings of the 10th International Conference on Verification, Model Checking, and Abstract Interpretation | December 2008

Publication

Budget Constrained Bidding in Keyword Auctions and Online Knapsack Problems

Yunhong Zhou, Deeparnab Chakrabarty, Rajan Lukose

WINE ’08 Proceedings of the 4th International Workshop on Internet and Network Economics, Shanghai, China | December 2008

ISBN: 978-3-540-92184-4

Project

Boogie: An Intermediate Verification Language

Boogie is an intermediate verification language, intended as a layer on which to build program verifiers for other languages. Several program verifiers have been built in this way, including the VCC and HAVOC verifiers for…

Publication

On the Decidability of Model-Checking Information Flow Properties

Deepak D'Souza, Raveendra Holla, Janardhan (Jana) Kulkarni, Barbara Sprick

December 2008

Publication

Data Collection with Self-Enforcing Privacy

Philippe Golle, Frank McSherry, Ilya Mironov

ACM Trans. Inf. Syst. Secur., Special Issue on Computer and Communications Security | December 2008, Vol 12

Publication

Mapping XSD to OO Schemas

Suad Alagic, Phil Bernstein

MSR-TR-2008-183 | December 2008