Now showing items 130-132 of 776

    • Synthesis of Randomized Accuracy-Aware Map-Fold Programs 

      Misailovic, Sasa; Rinard, Martin (2013-12-29)
      We present Syndy, a technique for automatically synthesizing randomized map/fold computations that trade accuracy for performance. Given a specification of a fully accurate computation, Syndy automatically synthesizes ...
    • 3D Tracking via Body Radio Reflections 

      Adib, Fadel; Kabelac, Zach; Katabi, Dina; Miller, Robert C. (2013-12-11)
      This paper introduces WiTrack, a system that tracks the 3D motion of a user from the radio signals reflected off her body. It works even if the person is occluded from the WiTrack device or in a different room. WiTrack ...
    • Bridging Utility Maximization and Regret Minimization 

      Chiesa, Alessandro; Micali, Silvio; Zhu, Zeyuan Allen (2013-12-03)
      We relate the strategies obtained by (1) utility maximizers who use regret to refine their set of undominated strategies, and (2) regret minimizers who use weak domination to refine their sets of regret-minimizing strategies.