Search
Now showing items 61-70 of 104
A Unified Statistical and Information Theoretic Framework for Multi-modal Image Registration
(2004-04-28)
We formulate and interpret several multi-modal registration methods inthe context of a unified statistical and information theoretic framework. A unified interpretation clarifies the implicit assumptionsof each method ...
Verifying the Correctness of Wide-Area Internet Routing
(2004-05-17)
Several studies have shown that wide-area Internet routing is fragile, with failures occurring for a variety of reasons. Routing fragility is largely due to the flexible and powerful ways in which BGP can be configured to ...
Rotation Invariant Object Recognition from One Training Example
(2004-04-27)
Local descriptors are increasingly used for the task of object recognition because of their perceived robustness with respect to occlusions and to global geometrical deformations. Such a descriptor--based on a set of ...
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 ...
Light-Weight Leases for Storage-Centric Coordination
(2004-04-22)
We propose light-weight lease primitives to leverage fault-tolerant coordination among clients accessing a shared storage infrastructure (such as network attached disks or storage servers). In our approach, leases are ...
Can Basic ML Techniques Illuminate Rateless Erasure Codes?
(2004-05-05)
The recently developed rateless erasure codes are a near-optimal channel coding technique that guaranteeslow overhead and fast decoding. The underlying theory, and current implementations, of thesecodes assume that a network ...
On Verifying a File System Implementation
(2004-05-06)
We present a correctness proof for a basic file system implementation. This implementation contains key elements of standard Unix file systems such as inodes and fixed-size disk blocks. We prove the implementation correct ...
Video Matching
(2004-05-11)
This paper describes a method for bringing two videos (recorded at different times) into spatiotemporal alignment, then comparing and combining corresponding pixels for applications such as background subtraction, compositing, ...
Shape Representation in V4: Investigating Position-Specific Tuning for Boundary Conformation with the Standard Model of Object Recognition
(2004-11-12)
The computational processes in the intermediate stages of the ventral pathway responsible for visual object recognition are not well understood. A recent physiological study by A. Pasupathy and C. Connor in intermediate ...
Efficient Image Matching with Distributions of Local Invariant Features
(2004-11-22)
Sets of local features that are invariant to common image transformations are an effective representation to use when comparing images; current methods typically judge feature sets' similarity via a voting scheme (which ...