Search
Now showing items 361-370 of 4210
Scale Control Processor Test-Chip
(2007-01-12)
We are investigating vector-thread architectures which provide competitive performance and efficiency across a broad class of application domains. Vector-thread architectures unify data-level, thread-level, and instruction-level ...
Quantifier-Free Boolean Algebra with Presburger Arithmetic is NP-Complete
(2007-01-01)
Boolean Algebra with Presburger Arithmetic (BAPA) combines1) Boolean algebras of sets of uninterpreted elements (BA)and 2) Presburger arithmetic operations (PA). BAPA canexpress the relationship between integer variables ...
Robot Manipulation in Human Environments
(2007-01-16)
Human environments present special challenges for robot manipulation. They are often dynamic, difficult to predict, and beyond the control of a robot engineer. Fortunately, many characteristics of these settings can be ...
Bounded CCA2-Secure Non-Malleable Encryption
(2006-12-14)
Under an adaptive chosen ciphertext attack (CCA2), the security of an encryption scheme must hold against adversaries that have access to a decryption oracle. We consider a weakening of CCA2 security, wherein security ...
Distributed Area Search with a Team of Robots
(2006-12-05)
The main goal of this thesis is to demonstrate the applicability of the distributed systems paradigm to robotic systems. This goal is accomplished by presenting two solutions to the Distributed Area Search problem: organizing ...
Online Active Learning in Practice
(2007-01-23)
We compare the practical performance of several recently proposed algorithms for active learning in the online setting. We consider two algorithms (and their combined variants) that are strongly online, in that they do ...
Latent-Dynamic Discriminative Models for Continuous Gesture Recognition
(2007-01-07)
Many problems in vision involve the prediction of a class label for each frame in an unsegmented sequence. In this paper we develop a discriminative framework for simultaneous sequence segmentation and labeling which can ...
Explorations in Low-Cost Compliant Robotics
(2007-01-30)
This thesis presents the findings of exploratory research in low-cost compliant robotics. The most heavily leveraged trade-off is that of mechanical precision for computational power, with the hope that the price of future ...
Hierarchical Dirichlet Process-Based Models For Discovery of Cross-species Mammalian Gene Expression
(2007-07-06)
An important research problem in computational biology is theidentification of expression programs, sets of co-activatedgenes orchestrating physiological processes, and thecharacterization of the functional breadth of these ...
CAPRI: A Common Architecture for Distributed Probabilistic Internet Fault Diagnosis
(2007-06-04)
This thesis presents a new approach to root cause localization and fault diagnosis in the Internet based on a Common Architecture for Probabilistic Reasoning in the Internet (CAPRI) in which distributed, heterogeneous ...