Now showing items 1-20 of 433

    • 3-D Object Segmentation from Motion Cues 

      Herbst, Evan
      In this work we tackle the problem of segmenting rigid objects using various types of motion cues. The setting is that of personal robotics, in which robots generally have cameras and arms, and are capable of manipulating ...
    • A Computational Framework for Modeling Belief-based Decision Making 

      Khalvati, Koosha
      Existing computational models of decision making are often limited to particular experimental setups. The limitation is mainly due to the inability to capture the decision maker's uncertainty about the situation. We propose ...
    • A Framework for Mass-Market Inductive Program Synthesis 

      Polozov, Oleksandr
      Programming by examples (PBE), or inductive program synthesis, is a problem of finding a program in the underlying domain-specific language (DSL) that is consistent with the given input-output examples or constraints. In ...
    • A Large Scale, Multi Factor Approach to Understanding and Improving Mobile Application Accessibility 

      Ross, Anne Spencer
      Accessibility failures in mobile applications (apps) create barriers for disabled people and people who use assistive technologies. Given the growing role of apps in everyone’s daily life, equitable access is imperative. ...
    • A Path Paved by Proof Complexity Towards Verifying Nonlinear Integer Arithmetic 

      Liew, Vincent
      Automated theorem provers have long struggled to efficiently reason about bit-precise properties of integer multiplication. Despite major advances in the efficiency of automated reasoning, from the Binary Decision Diagrams ...
    • A Semi-Automated System for Exploring and Fixing OSM Connectivity 

      Tabet, Fares
      Routing engines and navigation services are among the top applications that take advantage of the OpenStreetMap (OSM) collaborative project. With that said, the underlying road network data provided by the OSM public ...
    • A Step-through Debugger for Distributed Systems 

      Woos, Doug
      Designing and debugging distributed systems is notoriously difficult. For single-node systems, interactive debuggers enable stepping through an execution of the program and inspecting its state. For distributed systems, ...
    • Accelerating Networked Systems with Programmable and Tightly-Coupled NICs 

      Schuh, Henrik Nielsen
      As datacenter networks evolve to support higher bandwidths and lower latency, delivering this performance to applications is an increasing challenge. Software packet-processing overheads and high-cost hardware data paths ...
    • Accurate annotation of non-coding RNAs in practical time 

      Weinberg, Zasha (2005)
      Several times each year, one thousand computers at the Sanger Institute in England spend two weeks updating the Rfam Database.This intensive effort is needed to support recent surprising discoveries showing that RNAs are ...
    • Acting with Language 

      Shridhar, Mohit
      How can we imbue robots with the ability to achieve arbitrary goals in novel environments? Language provides a natural interface for guiding robots and abstracting the complexities of the physical world. Previous attempts ...
    • Action Recognition and Prediction with Applications to Medical Diagnosis and Daily Living 

      Soran, Bilge
      The purpose of this research is to explore the possible ways of improving people’s lives using information from static or egocentric (wearable) cameras. The usage of this information can be diagnostic or preventive. In a ...
    • Active Learning and Submodular Functions 

      Guillory, Andrew Russell (2012-09-13)
      Active learning is a machine learning setting where the learning algorithm decides what data is labeled. Submodular functions are a class of set functions for which many optimization problems have efficient exact or ...
    • Adaptive Crowd Algorithms for Open-Ended Problems 

      Chilton, Lydia Beth
      Decomposing problems is fundamental to solving them for both people and computers. When it comes to problem solving, people and computers have complementary approaches. Computer algorithms can methodically solve large ...
    • Adversarial Trained Deep Learning Poisoning Defense: SpaceTime 

      Dunham, Christian
      Poisoning defenses for federated learning are in- creasingly needed to harden security solutions for the Internet of Things (IoT). This study aimed to examine defensive mech- anisms to protect these federated learning ...
    • AI Ethics and Critique for Robotics 

      Agnew, William
      In this thesis I consider using 3D computer vision for social good. In particu-lar, I present a broad and deep array of AI ethics methodologies and practices necessary to assess the harms and benefits of a particular AI ...
    • Algorithmic applications of propositional proof complexity 

      Sabharwal, Ashish, 1977- (2005)
      This thesis explores algorithmic applications of proof complexity theory to the areas of exact and approximation algorithms for graph problems as well as propositional reasoning systems studied commonly by the artificial ...
    • Algorithmic Approaches to Detecting Interviewer Fabrication in Surveys 

      Birnbaum, Benjamin (2013-02-25)
      Surveys are one of the principal means of gathering critical data from low-income regions. Bad data, however, may be no better--or worse--than no data at all. Interviewer data fabrication, one cause of bad data, is an ...
    • Algorithms to Estimate Shapley Value Feature Attributions 

      Chen, Hugh
      Black box machine learning models are increasingly prevalent. Their complex nature enables strong predictive accuracy but also makes them hard for humans to understand. One popular strategy to bridge the gap between ...
    • An Algorithm for Street Parking Sign Rule Generation 

      Li, Jiayu
      Autonomous driving and autonomous parking have been actively investigated for years. However, for autonomous street parking, the questions of how to determine where to park and how long can park have never been addressed. ...
    • An Observability Framework for Predicting the Behavior of IoT Systems 

      Kaur, Harnidh
      Internet of Things (IoT) systems typically consume a number of microservices for completing a business process or task. To this extent, the Quality of Service (QoS) of individual microservices is crucial for measuring the ...