Browsing CSAIL Technical Reports (July 1, 2003 - present) by Title
Now showing items 4-23 of 775
-
A 1020-Node Modular Microphone Array and Beamformer for Intelligent Computing Spaces
(2004-04-14)Ubiquitous computing environments are characterized by an unboundedamount of noise and crosstalk. In these environments, traditionalmethods of sound capture are insufficient, and array microphones areneeded in order to ... -
A Combined Pointer and Purity Analysis for Java Programs
(2004-05-17)We present a new method purity analysis for Java programs.A method is pure if it does not mutate any location that exists in the program state right before method invocation.Our analysis is built on top of a combined pointer ... -
A Combined Stochastic and Greedy Hybrid Estimation Capability for Concurrent Hybrid Models with Autonomous Mode Transitions
(2006-04-28)Robotic and embedded systems have become increasingly pervasive in applicationsranging from space probes and life support systems to robot assistants. In order to act robustly in the physical world, robotic systems must ... -
A Consistency Management Layer for Inter-Domain Routing
(2006-01-27)This paper proposes an isolation layer -- a shim -- betweeninter-domain routing and packet forwarding. The job of this layer isto coordinate between Autonomous Systems (AS's) on when and how tomodify the forwarding state ... -
A Constant-Factor Approximation Algorithm for Embedding Unweighted Graphs into Trees
(2004-07-05)We present a constant-factor approximation algorithm for computing anembedding of the shortest path metric of an unweighted graph into atree, that minimizes the multiplicative distortion. -
A Correctness Proof for a Byzantine-Fault-Tolerant Read/Write Atomic Memory with Dynamic Replica Membership
(2003-09-25)We prove correctness of a Byzantine-fault-tolerant replication algorithm for a read/writeatomic memory that supports a dynamic replica set. -
A Dynamic Data Structure for Checking Hyperacyclicity
(2005-01-03)We present a dynamic data structure that keeps track of an acyclic hypergraph (equivalently, a triangulated graph) and enables verifying that adding a candidate hyperedge (clique) will not break the acyclicity of the ... -
A Fast Approximation of the Bilateral Filter using a Signal Processing Approach
(2006-11-09)The bilateral filter is a nonlinear filter that smoothes a signal while preserving strong edges. It has demonstrated great effectiveness for a variety of problems in computer vision and computer graphics, and fast versions ... -
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. ... -
A general mechanism for tuning: Gain control circuits and synapses underlie tuning of cortical neurons
(2004-12-31)Tuning to an optimal stimulus is a widespread property of neurons in cortex. We propose that such tuning is a consequence of normalization or gain control circuits. We also present a biologically plausible neural circuitry ... -
A Machine-Checked Safety Proof for a CISC-Compatible SFI Technique
(2006-05-11)Executing untrusted code while preserving security requires that thecode be prevented from modifying memory or executing instructionsexcept as explicitly allowed. Software-based fault isolation (SFI) or"sandboxing" enforces ... -
A new biologically motivated framework for robust object recognition
(2004-11-14)In this paper, we introduce a novel set of features for robust object recognition, which exhibits outstanding performances on a variety ofobject categories while being capable of learning from only a fewtraining examples. ... -
A Novel Active Contour Framework. Multi-component Level Set Evolution under Topology Control
(2005-06-01)We present a novel framework to exert a topology control over a level set evolution. Level set methods offer several advantages over parametric active contours, in particular automated topological changes. In some applications, ... -
A Probabilistic Particle Control Approach to Optimal, Robust Predictive Control
(2006-04-28)Autonomous vehicles need to be able to plan trajectories to a specified goal that avoid obstacles, and are robust to the inherent uncertainty in the problem. This uncertainty arises due to uncertain state estimation, ... -
A Quantitative Comparison of Reconfigurable, Tiled, and Conventional Architectures on Bit-level Computation
(2004-04-13)General purpose computing architectures are being called on to work on amore diverse application mix every day. This has been fueled by the needfor reduced time to market and economies of scale that are the hallmarksof ... -
A Region-based Architecture for Service-Providing Distributed Systems
(2005-05-17)A service-providing system consists of hosts that provide services such as data, content, computational and memory resources and data-based services to other entities in the system. Consumers that wish to use services ... -
A Reliable Broadcast Scheme for Sensor Networks
(2003-08-11)In this short technical report, we present a simple yet effective reliable broadcast protocol for sensor networks. This protocol disseminates packets throughout the sensor network by flooding and recovers from losses ... -
A soft touch: Compliant Tactile Sensors for Sensitive Manipulation
(2006-03-01)We present the design, analysis and construction of a biologicallyinspired tactile sensor. The sensor can measure normal and lateralforces, conform to the surfaces with which it comes in contact andincrease the friction ... -
A Stream Algorithm for the SVD
(2003-10-22)We present a stream algorithm for the Singular-Value Decomposition (SVD) of anM X N matrix A. Our algorithm trades speed of numerical convergence for parallelism,and derives from a one-sided, cyclic-by-rows Hestenes SVD. ... -
A Theory of Object Recognition: Computations and Circuits in the Feedforward Path of the Ventral Stream in Primate Visual Cortex
(2005-12-19)We describe a quantitative theory to account for the computations performed by the feedforward path of the ventral stream of visual cortex and the local circuits implementing them. We show that a model instantiating the ...