Browsing CSAIL Digital Archive by Title
Now showing items 726-745 of 806
-
Theories in Practice: Easy-to-Write Specifications that Catch Bugs
(2008-01-14)Automated testing during development helps ensure that software works according to the test suite. Traditional test suites verify a few well-picked scenarios or example inputs. However, such example-based testing does not ... -
Throwing Down the Visual Intelligence Gauntlet
(2012)In recent years, scientific and technological advances have produced artificial systems that have matched or surpassed human capabilities in narrow domains such as face detection and optical character recognition. However, ... -
TIARA: Trust Management, Intrusion-tolerance, Accountability, and Reconstitution Architecture
(2007-05-30)The last 20 years have led to unprecedented improvements in chipdensity and system performance fueled mainly by Moore's Law. Duringthe same time, system and application software have bloated, leadingto unmanageable ... -
Tiny images
(2007-04-23)The human visual system is remarkably tolerant to degradations in image resolution: in a scene recognition task, human performance is similar whether $32 \times 32$ color images or multi-mega pixel images are used. With ... -
A Tour of MOOS-IvP Autonomy Software Modules
(2009-02-13)This paper provides an overview of the MOOS-IvP autonomy software modules. The MOOS-IvP collection of software, i.e., codebase, described here has been developed and is currently maintained by three organizations - Oxford ... -
Toward a Probabilistic Approach to Acquiring Information from Human Partners Using Language
(2012-01-23)Our goal is to build robots that can robustly interact with humans using natural language. This problem is extremely challenging because human language is filled with ambiguity, and furthermore, the robot's model of the ... -
Toward Secure Services from Untrusted Developers
(2007-08-06)We present a secure service prototype built from untrusted,contributed code.The service manages private data for a variety of different users, anduser programs frequently require access to other users' private data.However, ... -
Towards Feature Selection In Actor-Critic Algorithms
(2007-11-01)Choosing features for the critic in actor-critic algorithms with function approximation is known to be a challenge. Too few critic features can lead to degeneracy of the actor gradient, and too many features may lead to ... -
Towards Practical Theory: Bayesian Optimization and Optimal Exploration
(2016-05-26)This thesis discusses novel principles to improve the theoretical analyses of a class of methods, aiming to provide theoretically driven yet practically useful methods. The thesis focuses on a class of methods, called ... -
Towards Realizing the Performance and Availability Benefits of a Global Overlay Network
(2005-11-01)Prior analyses of the benefits of routing overlays are based onplatforms consisting of nodes located primarily in North America, onthe academic Internet, and at the edge of the network. This paper isthe first global study ... -
Towards the Prevention of Dyslexia
(2005-10-18)Previous studies have shown that dyslexic individuals who supplement windowed reading practice with intensive small-scale hand-eye coordination tasks exhibit marked improvement in their reading skills. Here we examine ... -
Towards Understanding Generalization via Analytical Learning Theory
(2018-10-01)This paper introduces a novel measure-theoretic theory for machine learning that does not require statistical assumptions. Based on this theory, a new regularization method in deep learning is derived and shown to ... -
Towards Understanding Hierarchical Natural Language Commands for Robotic Navigation and Manipulation
(2011-02-01)We describe a new model for understanding hierarchical natural language commands for robot navigation and manipulation. The model has three components: a semantic structure that captures the hierarchical structure of ... -
Tracking 3-D Rotations with the Quaternion Bingham Filter
(2013-03-27)A deterministic method for sequential estimation of 3-D rotations is presented. The Bingham distribution is used to represent uncertainty directly on the unit quaternion hypersphere. Quaternions avoid the degeneracies of ... -
Trading Structure for Randomness in Wireless Opportunistic Routing
(2007-02-23)Opportunistic routing is a recent technique that achieves high throughput in the face of lossy wireless links. The current opportunistic routing protocol, ExOR, ties the MAC with routing, imposing a strict schedule on ... -
Tragedy of the routing table: An analysis of collective action amongst Internet network operators
(2011-08-06)This thesis analyzes and discusses the effectiveness of social efforts to achieve collective action amongst Internet network operators in order to manage the growth of the Internet routing table. The size and rate of growth ... -
Trajectory Analysis and Semantic Region Modeling Using A Nonparametric Bayesian Model
(2008-06-24)We propose a novel nonparametric Bayesian model, Dual Hierarchical Dirichlet Processes (Dual-HDP), for trajectory analysis and semantic region modeling in surveillance settings, in an unsupervised way. In our approach, ... -
Transductive Ranking on Graphs
(2008-08-07)In ranking, one is given examples of order relationships among objects, and the goal is to learn from these examples a real-valued ranking function that induces a ranking or ordering over the object space. We consider the ... -
Transfer learning for image classification with sparse prototype representations
(2008-03-03)To learn a new visual category from few examples, prior knowledge from unlabeled data as well as previous related categories may be useful. We develop a new method for transfer learning which exploits available unlabeled ... -
Transfering Nonlinear Representations using Gaussian Processes with a Shared Latent Space
(2007-11-06)When a series of problems are related, representations derived fromlearning earlier tasks may be useful in solving later problems. Inthis paper we propose a novel approach to transfer learning withlow-dimensional, non-linear ...
