Now showing items 97-116 of 131

    • Programming by demonstration: a machine learning approach 

      Lau, Tessa (2001)
      Programming by demonstration (PBD) enables users to construct programs to automate repetitive tasks without writing a line of code. The key idea in PBD is to generalize from the user's demonstration of the program on a ...
    • Quantum Computation and Isomorphism Testing 

      Rosenbaum, David Jeffrey
      In this thesis, we study quantum computation and algorithms for isomorphism problems. Some of the problems that we cover are fundamentally quantum and therefore require quantum techniques. For other problems, classical ...
    • Query Processing for Massively Parallel Systems 

      Koutris, Paraschos
      The need to analyze and understand big data has changed the landscape of data management over the last years. To process the large amounts of data available to users in both industry and science, many modern data management ...
    • Reconstruction and Visualization of Architectural Scenes 

      Kushal, Avanish
      Can we experience a scene virtually, such as the Colosseum in Rome, without ever having to visit it? Such an experience should replicate the feeling of being physically present, in terms of being able to visualize the scene ...
    • Reducing the Usability Barrier to Specification and Verification 

      Schiller, Todd Wademan
      A program specification is a contract between a client and a program, which describes how the program can or will behave given input from the client. In practice, formal (machine-verified) specifications take more effort ...
    • Representation of d-dimensional geometric objects 

      Brisson, Erik, 1957- (1990)
      This work investigates data structures and algorithms for representing and manipulating d-dimensional geometric objects for arbitrary d $\le$ 1. These objects are often described by a set of basic building blocks, together ...
    • Role oriented programming for software evolution 

      VanHilst, Michael, 1953- (1997)
      This thesis addresses the problem of changing requirements in software evolution. It presents a method of development and change based on roles, where a role, in object oriented development, is a part of an object that ...
    • 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 ...
    • 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. ...