Search
Now showing items 591-600 of 648
Organic Indoor Location Discovery
(2008-12-30)
We describe an indoor, room-level location discovery method based on spatial variations in "wifi signatures," i.e., MAC addresses and signal strengths of existing wireless access points. The principal novelty of our system ...
A Tour of MOOS-IvP Autonomy Software Modules
(2009-02-13)
This paper provides an overview of the MOOS-IvP autonomy software modules. The MOOS-IvP collection of software, i.e., codebase, described here has been developed and is currently maintained by three organizations - Oxford ...
Self-Stabilizing Message Routing in Mobile ad hoc Networks
(2009-01-28)
We present a self-stabilizing algorithm for routing messages between arbitrary pairs of nodes in a mobile ad hoc network. Our algorithm assumes the availability of a reliable GPS service, which supplies mobile nodes with ...
SoftCast: One Video to Serve All Wireless Receivers
(2009-02-07)
The main challenge in wireless video multicast is to scalably serve multiple receivers who have different channel characteristics. Current wireless transmission schemes, however, cannot support smooth degradation. Specifically, ...
Overcoming the Antennas-Per-Node Throughput Limit in MIMO LANs
(2009-02-18)
Today, the number of concurrent packets in a MIMO LAN is limited by the number of antennas on the AP. This paper shows how to overcome this limit. It presents a new design where multiple client-AP pairs can communicate ...
HAMPI: A Solver for String Constraints
(2009-02-04)
Many automatic testing, analysis, and verification techniques for programs can be effectively reduced to a constraint-generation phase followed by a constraint-solving phase. This separation of concerns often leads to more ...
The Art of the Propagator
(2009-01-26)
We develop a programming model built on the idea that the basic computational elements are autonomous machines interconnected by shared cells through which they communicate. Each machine continuously examines the cells it ...
The Abstract MAC Layer
(2009-02-21)
A diversity of possible communication assumptions complicates the study of algorithms and lower bounds for radio networks. We address this problem by defining an Abstract MAC Layer. This service provides reliable local ...
Automatic Class-Specific 3D Reconstruction from a Single Image
(2009-02-18)
Our goal is to automatically reconstruct 3D objects from a single image, by using prior 3D shape models of classes. The shape models, defined as a collection of oriented primitive shapes centered at fixed 3D positions, can ...
The Video Mesh: A Data Structure for Image-based Video Editing
(2009-12-16)
This paper introduces the video mesh, a data structure for representing video as 2.5D "paper cutouts." The video mesh allows interactive editing of moving objects and modeling of depth, which enables 3D effects and ...