Browsing Computer science and engineering by Title
Now showing items 1-20 of 433
-
3-D Object Segmentation from Motion Cues
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
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
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
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
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
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
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
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
(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
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
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
(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
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
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
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
(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
(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
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
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
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 ...