Now showing items 331-350 of 762

    • Impossibility of boosting distributed service resilience 

      Attie, Paul; Guerraoui, Rachid; Kouznetsov, Petr; Lynch, Nancy; Rajsbaum, Sergio (2005-02-25)
      We prove two theorems saying that no distributed system in whichprocesses coordinate using reliable registers and f-resilient servicescan solve the consensus problem in the presence of f+1 undetectableprocess stopping ...
    • Improved Caching Strategies for Publish/Subscribe Internet Networking 

      Beckler, Kendra K. (2015-01-31)
      The systemic structure of TCP/IP is outdated; a new scheme for data transportation is needed in order to make the internet more adaptive to modern demands of mobility, information-driven demand, ever-increasing quantity ...
    • Improving 802.11 Range with Forward Error Correction 

      Riemann, Reina; Winstein, Keith (2005-02-24)
      The ISO/IEC 8802-11:1999(E) specification uses a 32-bit CRC for error detection and whole-packet retransmissions for recovery. In long-distance orhigh-interference links where the probability of a bit error is high,this ...
    • Inference and Regeneration of Programs that Manipulate Relational Databases 

      Shen, Jiasi; Rinard, Martin (2017-08-29)
      We present a new technique that infers models of programs that manipulate relational databases. This technique generates test databases and input commands, runs the program, then observes the resulting outputs and updated ...
    • Inference and Regeneration of Programs that Store and Retrieve Data 

      Rinard, Martin; Shen, Jiasi (2017-04-24)
      As modern computation platforms become increasingly complex, their programming interfaces are increasingly difficult to use. This complexity is especially inappropriate given the relatively simple core functionality that ...
    • Information Accountability 

      Weitzner, Daniel J.; Abelson, Harold; Berners-Lee, Tim; Feigenbaum, Joan; Hendler, James; e.a. (2007-06-13)
      Ease of information flow is both the boon and the bane of large-scale, decentralized systems like the World Wide Web. For all the benefits and opportunities brought by the information revolution, with that same revolution ...
    • Information Flow for Secure Distributed Applications 

      Cheng, Winnie Wing-Yee (2009-08-27)
      Private and confidential information is increasingly stored online and increasingly being exposed due to human errors as well as malicious attacks. Information leaks threaten confidentiality, lead to lawsuits, damage ...
    • Information Slicing: Anonymity Using Unreliable Overlays 

      Katti, Sachin; Cohen, Jeffrey; Katabi, Dina (2007-02-23)
      This paper proposes a new approach to anonymous communication called information slicing. Typically, anonymizers use onion routing, where a message is encrypted in layers with the public keys of the nodes along the path. ...
    • Infrastructure for Engineered Emergence on Sensor/Actuator Networks 

      Beal, Jacob; Bachrach, Jonathan (2006-03)
      The ability to control emergent phenomena depends on decomposingthem into aspects susceptible to independent engineering. Forspatial self-managing systems, the amorphous-medium abstraction lets youseparate the systemÂ’s ...
    • Initial report on Object Spreadsheets 

      McCutchen, Richard Matthew; Itzhaky, Shachar; Jackson, Daniel (2016-01-12)
      There is a growing demand for data-driven web applications that help automate organizational and business processes of low to medium complexity by letting users view and update structured data in controlled ways. We present ...
    • Instruction-Level Execution Migration 

      Devadas, Srinivas; Lis, Mieszko; Khan, Omer (2010-04-17)
      We introduce the Execution Migration Machine (EM²), a novel data-centric multicore memory system architecture based on computation migration. Unlike traditional distributed memory multicores, which rely on complex cache ...
    • An integrated model of visual attention using shape-based features 

      Poggio, Tomaso; Serre, Thomas; Tan, Cheston; Chikkerur, Sharat (2009-06-20)
      Apart from helping shed some light on human perceptual mechanisms, modeling visual attention has important applications in computer vision. It has been shown to be useful in priming object detection, pruning interest points, ...
    • Integrated robot task and motion planning in belief space 

      Kaelbling, Leslie Pack; Lozano-Perez, Tomas (2012-07-03)
      In this paper, we describe an integrated strategy for planning, perception, state-estimation and action in complex mobile manipulation domains. The strategy is based on planning in the belief space of probability distribution ...
    • Integrated Robot Task and Motion Planning in the Now 

      Kaelbling, Leslie Pack; Lozano-Perez, Tomas (2012-06-29)
      This paper provides an approach to integrating geometric motion planning with logical task planning for long-horizon tasks in domains with many objects. We propose a tight integration between the logical and geometric ...
    • Intel Concurrent Collections for Haskell 

      Newton, Ryan; Chen, Chih-Ping; Marlow, Simon (2011-03-22)
      Intel Concurrent Collections (CnC) is a parallel programming model in which a network of steps (functions) communicate through message-passing as well as a limited form of shared memory. This paper describes a new ...
    • Interactive Animation of Dynamic Manipulation 

      Abe, Yeuhi; Popovic, Jovan (2006-02-28)
      Lifelike animation of manipulation must account for the dynamicinteraction between animated characters, objects, and their environment. Failing to do so would ignore the often significant effects objectshave on the motion ...
    • Interactive Visual Histories for Vector Graphics 

      Scull, Craig; Johnson, Steve; Aliaga, Frederick; Paris, Sylvain; Su, Sara L.; e.a. (2009-06-24)
      Presentation and graphics software enables users to experiment with variations of illustrations. They can revisit recent editing operations using the ubiquitous undo command, but they are limited to sequential exploration. ...
    • The Interval Programming Model Solution Algorithm Experimentation Tools and Results 

      Benjamin, Michael R. (2017-09-01)
      Interval programming (IvP) is model for representing multi-objective optimization problems along with a set of solution algorithms. This paper describes a set of IvP solution experiments run over randomly generated problem ...
    • Investigating shape representation in area V4 with HMAX: Orientation and Grating selectivities 

      Kouh, Minjoon; Riesenhuber, Maximilian (2003-09-08)
      The question of how shape is represented is of central interest to understanding visual processing in cortex. While tuning properties of the cells in early part of the ventral visual stream, thought to be responsible for ...
    • Iterative Collaborative Ranking of Customers and Providers 

      Teow, Loo Nin; Katabi, Dina (2006-07-04)
      This paper introduces a new application: predicting the Internet provider-customer market. We cast the problem in the collaborative filtering framework, where we use current and past customer-provider relationships to ...