Search
Now showing items 1-10 of 107
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 ...
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 ...
The Psychophysiology of Risk Processing and Decision Making at a Regional Stock Exchange
(2007-06-12)
A longstanding controversy in philosophy is whether decision-making isgoverned by reason or emotion. I study the role of physiologicalresponses in the decision-making process within the realm of financialmarkets, where ...
An Analysis of Posynomial MOSFET Models Using Genetic Algorithms and Visualization
(2007-06-05)
Analog designers are interested in optimization tools which automate the process of circuit sizing. Geometric programming, which uses posynomial models of MOSFET parameters, represents one such tool. Genetic algorithms ...