Search
Now showing items 1-10 of 96
Representation and Detection of Shapes in Images
(2003-08-08)
We present a set of techniques that can be used to represent and detect shapes in images. Our methods revolve around a particular shape representation based on the description of objects using triangulated polygons. This ...
Fluorescence Assay for Polymerase Arrival Rates
(2003-08-31)
To engineer complex synthetic biological systems will require modular design, assembly, and characterization strategies. The RNA polymerase arrival rate (PAR) is defined to be the rate that RNA polymerases arrive at a ...
Compact Representations for Fast Nonrigid Registration of Medical Images
(2003-07-04)
We develop efficient techniques for the non-rigid registration of medical
images by using representations that adapt to the anatomy found in such
images.
Images of anatomical structures typically have uniform intensity ...
Representation and Detection of Shapes in Images
(2003-08-08)
We present a set of techniques that can be used to represent anddetect shapes in images. Our methods revolve around a particularshape representation based on the description of objects usingtriangulated polygons. This ...
Marriage, Honesty, and Stability
(2003-07-28)
Many centralized two-sided markets form a matching between participantsby running a stable marriage algorithm. It is a well-knownfact that no matching mechanism based on a stable marriage algorithmcan guarantee truthfulness ...
Selecting Refining and Evaluating Properties for Program Analysis
(2003-07-21)
This research proposes and evaluates techniques for selectingpredicates for conditional program properties thatis, implications such as p ) q whose consequent must betrue whenever the predicate is true. Conditional ...
New Algorithms for Load Balancing in Peer-to-Peer Systems
(2003-07-16)
Load balancing is a critical issue for the efficient operation of peer-to-peer networks. We give new protocols for several scenarios, whose provable performance guarantees are within a constant factor of optimal.
First, ...
Secure Program Execution Via Dynamic Information Flow Tracking
(2003-07-21)
We present a simple architectural mechanism called dynamicinformation flow tracking that can significantly improve thesecurity of computing systems with negligible performanceoverhead. Dynamic information flow tracking ...
Dynamic Input/Output Automata: A Formal Model for Dynamic Systems
(2003-07-26)
We present a mathematical state-machine model, the Dynamic I/O Automaton (DIOA) model, for defining and analyzing dynamic systems of interacting components. The systems we consider are dynamic in two senses: (1) components ...
On the Max-Flow Min-Cut Ratio for Directed Multicommodity Flows
(2003-07-05)
We give a pure combinatorial problem whose solution determines max-flow
min-cut ratio for directed multicommodity flows. In addition, this
combinatorial problem has applications in improving the approximation factor of ...