Search
Now showing items 21-30 of 648
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 ...
Selecting Relevant Genes with a Spectral Approach
(2004-01-27)
Array technologies have made it possible to record simultaneouslythe expression pattern of thousands of genes. A fundamental problemin the analysis of gene expression data is the identification ofhighly relevant genes that ...
Virtual Visual Hulls: Example-Based 3D Shape Estimation from a Single Silhouette
(2004-01-28)
Recovering a volumetric model of a person, car, or other objectof interest from a single snapshot would be useful for many computergraphics applications. 3D model estimation in general is hard, andcurrently requires active ...