Search
Now showing items 1561-1570 of 1850
An Overview of MOOS-IvP and a Users Guide to the IvP Helm Autonomy Software
(2010-08-27)
This document describes the IvP Helm -- an Open Source behavior-based autonomy application for unmanned vehicles. IvP is short for interval programming -- a technique for representing and solving multi-objective optimizations ...
Parallelizing Sequential Programs With Statistical Accuracy Tests
(2010-08-05)
We present QuickStep, a novel system for parallelizing sequential programs. QuickStep deploys a set of parallelization transformations that together induce a search space of candidate parallel programs. Given a sequential ...
An Efficient Learning Procedure for Deep Boltzmann Machines
(2010-08-04)
We present a new learning algorithm for Boltzmann Machines that contain many layers of hidden variables. Data-dependent statistics are estimated using a variational approximation that tends to focus on a single mode, and ...
The Abstract MAC Layer
(2010-08-26)
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 ...
Reliably Detecting Connectivity using Local Graph Traits
(2010-09-09)
Local distributed algorithms can only gather sufficient information to identify local graph traits, that is, properties that hold within the local neighborhood of each node. However, it is frequently the case that global ...
Learning and Invariance in a Family of Hierarchical Kernels
(2010-07-30)
Understanding invariance and discrimination properties of hierarchical models is arguably the key to understanding how and why such models, of which the the mammalian visual system is one instance, can lead to good ...
MAC Design for Analog Network Coding
(2010-08-02)
Most medium access control mechanisms discard collided packets and consider interference harmful. Recent work on Analog Network Coding (ANC) suggests a different approach, in which multiple interfering transmissions are ...
Comparison of User Traffic Characteristics on Mobile-Access versus Fixed-Access Networks
(2011-05-03)
We compare Web traffic characteristics of mobile- versus fixed-access end-hosts, where herein the term "mobile" refers to access via cell towers, using for example the 3G/UMTS standard, and the term "fixed" includes Wi-Fi ...
Library Cache Coherence
(2011-05-02)
Directory-based cache coherence is a popular mechanism for chip multiprocessors and multicores. The directory protocol, however, requires multicast for invalidation messages and the collection of acknowledgement messages, ...
Gasping for AIR Why we need Linked Rules and Justifications on the Semantic Web
(2011-04-16)
The Semantic Web is a distributed model for publishing, utilizing and extending structured information using Web protocols. One of the main goals of this technology is to automate the retrieval and integration of data and ...