Search
Now showing items 31-40 of 107
ReCrash: Making Crashes Reproducible
(2007-11-20)
It is difficult to fix a problem without being able to reproduce it.However, reproducing a problem is often difficult and time-consuming.This paper proposes a novel algorithm, ReCrash, that generatesmultiple unit tests ...
MIXIT: The Network Meets the Wireless Channel
(2007-09-04)
The traditional contract between the network and the lower layers states that the network does routing and the lower layers deliver correct packets. In a wireless network, however, different nodes may hear most bits in a ...
Pluggable type-checking for custom type qualifiers in Java
(2007-09-17)
We have created a framework for adding custom type qualifiers to the Javalanguage in a backward-compatible way. The type system designer definesthe qualifiers and creates a compiler plug-in that enforces theirsemantics. ...
Relational Envelope-based Planning
(2007-12-31)
This thesis proposes a synthesis of logic and probability for solving stochastic sequential decision-making problems. We address two main questions: How can we take advantage of logical structure to speed up planning in a ...
A Few Days of A Robot's Life in the Human's World: Toward Incremental Individual Recognition
(2007-04-03)
This thesis presents an integrated framework and implementation for Mertz, an expressive robotic creature for exploring the task of face recognition through natural interaction in an incremental and unsupervised fashion. ...
Distributed Method Selection and Dispatching of Contingent, Temporally Flexible Plans
(2007-03-05)
Many applications of autonomous agents require groups to work in tight coordination. To be dependable, these groups must plan, carry out and adapt their activities in a way that is robust to failure and to uncertainty. ...
Phonetic Classification Using Hierarchical, Feed-forward, Spectro-temporal Patch-based Architectures
(2007-03-21)
A preliminary set of experiments are described in which a biologically-inspired computer vision system (Serre, Wolf et al. 2005; Serre 2006; Serre, Oliva et al. 2006; Serre, Wolf et al. 2006) designed for visual object ...
Discriminative Gaussian Process Latent Variable Model for Classification
(2007-03-28)
Supervised learning is difficult with high dimensional input spacesand very small training sets, but accurate classification may bepossible if the data lie on a low-dimensional manifold. GaussianProcess Latent Variable ...
Self-Adaptive Systems for Information Survivability: PMOP and AWDRAT
(2007-04-10)
Information systems form the backbones of the critical infrastructures of modern societies. Unfortunately, these systems are highly vulnerable to attacks that can result in enormous damage. Furthermore, traditional approaches ...
Object and Reference Immutability using Java Generics
(2007-03-16)
A compiler-checked immutability guarantee provides useful documentation, facilitates reasoning, and enables optimizations. This paper presents Immutability Generic Java (IGJ), a novel language extension that expresses ...