Search
Now showing items 41-50 of 957
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 ...
On the difficulty of feature-based attentional modulations in visual object recognition: A modeling study.
(2004-01-14)
Numerous psychophysical experiments have shown an important role for attentional modulations in vision. Behaviorally, allocation of attention can improve performance in object detection and recognition tasks. At the neural ...
Fast Contour Matching Using Approximate Earth Mover's Distance
(2003-12-05)
Weighted graph matching is a good way to align a pair of shapesrepresented by a set of descriptive local features; the set ofcorrespondences produced by the minimum cost of matching features fromone shape to the features ...