Search
Now showing items 91-100 of 957
Supplement to "Distributed Quota Enforcement for Spam Control"
(2006-04-29)
This report is a supplement to our paper "Distributed Quota Enforcement forSpam Control" (NSDI 2006). We assume here that the reader has readthe main paper. In this report, we first analyze the enforcer nodes'key-value ...
Memoization Attacks and Copy Protection in Partitioned Applications
(2006-12-08)
Application source code protection is a major concern for software architects today. Secure platforms have been proposed that protect the secrecy of application algorithms and enforce copy protection assurances. Unfortunately, ...
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 ...