Video
The FedEx Problem
Consider the following setting: a customer has a package and is willing to pay up to some value v to ship it, but needs it to be shipped by some deadline d. Given the joint…
Algorithms
Video
Tight Complexity Bounds for Composite Optimization
We provide tight upper and lower bounds on the complexity of minimizing the average of $m$ convex functions using gradient and prox information for the component functions. We show a significant gap between the complexity…
Event
MobiCom 2016 and Microsoft Research
We’re excited to have been part of ACM MobiCom 2016, the Annual International Conference on Mobile Computing and Networking in NYC on October 3-7, 2016. The conference serves as the premier international forum addressing networks,…
Video
Pixel based Interaction Techniques
Our society has entered a data-driven era, in which not only enormous amounts of data are being generated every day, but there are also growing expectations placed on their analysis. Exploring these massive and complex…
Video
Towards a Compositional Typed Semantics using Universal Dependencies
Universal Dependencies offer a homogeneous syntactic representation across languages fostering multilingual NLP research. However, dependency structures lack a transparent syntax-semantics interface like CCG, making it hard to derive target-application specific semantics in a synchronous compositional…
Video
Dr. TLA+ Series – Fast Paxos
The presentation slide and the complete schedule of Dr. TLA+ Series are available at https://github.com/tlaplus/DrTLAPlus. Replicating data across geographically distributed data centers is the new norm in cloud services. Compared to Classic Paxos, Fast Paxos shines…
