Now showing items 135-154 of 171

    • Scalable Methods and Expressive Models for Planning Under Uncertainty 

      Kolobov, Andrey (2013-07-25)
      The ability to plan in the presence of uncertainty about the effects of one's own actions and the events of the environment is a core skill of a truly intelligent agent. This type of sequential decision-making has been ...
    • Scalable Query Evaluation over Complex Probabilistic Databases 

      Jha, Abhay (2012-09-13)
      The age of Big Data has brought with itself datasets which are not just big, but also much more complicated. These datasets are constructed from disparate, unreliable and noisy sources, many times in an ad-hoc way because ...
    • Scheduling protocols for media-on-demand systems 

      VanDeGrift, Tammy (2005)
      Today's abundance of personal electronic devices and the growth of communications networks gives rise to a new set of applications. One such application allows clients to access high-bandwidth streaming media at times of ...
    • Search algorithms for biosequences using random projection 

      Buhler, Jeremy (2001)
      The recent explosion in the availability of long contiguous genomic sequences, including the complete genomes of several organisms, poses substantial challenges for bioinformatics. In particular, algorithms must be developed ...
    • Securing Embedded Systems: Analyses of Modern Automotive Systems and Enabling Near-Real Time Dynamic Analysis 

      Koscher, Karl Alexander
      Today, our life is pervaded by computer systems embedded inside everyday products. These embedded systems are found in everything from cars to microwave ovens. These systems are becoming increasingly sophisticated and ...
    • Security and Privacy for Untrusted Applications in Modern and Emerging Client Platforms 

      Roesner, Franziska
      Today's computer users have the choice among an ever increasing variety of devices and platforms, including desktops, tablets, smartphones, and web browsers. In addition to these more traditional platforms, continuous ...
    • Seeing structure: using knowledge to reconstruct and illustrate anatomy 

      Hinshaw, Kevin P (2000)
      Current medical imaging technology makes it possible to gather remarkably detailed three-dimensional data about an individual's anatomy. In domains ranging from education to clinical medicine, a common desire is the ability ...
    • Simplifying the Configuration of 802.11 Wireless Networks with Effective SNR 

      Halperin, Daniel Chaim (2013-02-25)
      Advances in the price, performance, and power consumption of Wi-Fi (IEEE 802.11) technology have led to the adoption of wireless functionality in diverse consumer electronics. These trends have enabled an exciting vision ...
    • Simultaneous multithreading 

      Tullsen, Dean Michael (1996)
      This dissertation examines simultaneous multithreading, a technique permitting several independent threads to issue instructions to a superscalar processor's functional units in a single cycle. Simultaneous multithreading ...
    • Situated Learning and Understanding of Natural Language 

      Artzi, Yoav
      Robust language understanding systems have the potential to transform how we interact with computers. However, significant challenges in automated reasoning and learning remain to be solved before we achieve this goal. To ...
    • Smart-Transfer: A Cost-Minimized Inter-Service Data Storage and Transfer Scheme 

      Deal, Galen Patrick
      Cloud storage services are a widely used tool in both industry and research. However, the wide variety of services offered by cloud providers raises the question of which storage services can most cheaply meet the needs ...
    • Software and Hardware Support for Data-Race Exceptions 

      Wood, Benjamin Paul
      Some researchers have proposed data-race exceptions to mitigate the ill effects of data races in shared-memory multithreaded programs. Data-race exceptions make every data race an explicit fail-stop error at run-time. ...
    • Some computational problems from genomic mapping 

      Mumey, Brendan Marshall, 1968- (1997)
      Modern molecular biology has presented computer science a host of interesting theoretical problems to work on. This thesis presents new algorithms for two computational problems from genomic mapping: The first problem ...
    • Supporting library interface changes in open system software evolution 

      Chow, Kingsum (1996)
      Software libraries provide leverage in large part because they are used by many applications. As Parnas, Lampson and others have noted, stable interfaces to libraries isolate the application from changes in the libraries. ...
    • Surface reconstruction and display from range and color data 

      Pulli, Kari (1997)
      This dissertation addresses the problem of scanning both the color and geometry of real objects and displaying realistic images of the scanned objects from arbitrary viewpoints. We present a complete system that uses a ...
    • Surveillance: From Solutions to New Problems 

      Vines, Paul Lewis
      The use of digital communications networks like the Internet has led to the creation of digital surveillance operations. The digital nature of these networks allows surveillance to be conducted in a broader and more automated ...
    • System Support for Concurrent Software Reliability 

      Lucia, Brandon M. (2013-07-25)
      Parallel and concurrent software is more complex than sequential code because interactions between concurrent computations and the ordering of program events can vary across ex- ecutions. This nondeterministic variation ...
    • System support for pervasive applications 

      Grimm, Robert, 1968- (2002)
      Pervasive computing provides an attractive vision for the future of computing. Computational power will be available everywhere. Mobile and stationary devices will dynamically connect and coordinate to seamlessly help ...
    • Talking to Robots: Learning to Ground Human Language in Perception and Execution 

      Matuszek, Cynthia
      Advances in computation, sensing, and hardware are enabling robots to perform an increasing variety of tasks in progressively fewer constraints. It is now possible to imagine robots that can operate in traditionally ...
    • The Intelligent Management of Crowd-Powered Machine Learning 

      Lin, Christopher
      Artificial intelligence and machine learning power many technologies today, from spam filters to self-driving cars to medical decision assistants. While this revolution has hugely benefited from algorithmic developments, ...