Search
Now showing items 21-30 of 57
Kongming: A Generative Planner for Hybrid Systems with Temporally Extended Goals
(2010-04-09)
Most unmanned missions in space and undersea are commanded by a "script" that specifies a sequence of discrete commands and continuous actions. Currently such scripts are mostly hand-generated by human operators. This ...
Optimizing MapReduce for Multicore Architectures
(2010-05-02)
MapReduce is a programming model for data-parallel programs originally intended for data centers. MapReduce simplifies parallel programming, hiding synchronization and task management. These properties make it a promising ...
The Bayes Tree: Enabling Incremental Reordering and Fluid Relinearization for Online Mapping
(2010-01-29)
In this paper we present a novel data structure, the Bayes tree, which exploits the connections between graphical model inference and sparse linear algebra. The proposed data structure provides a new perspective on an ...
Conservative-Bayesian Mechanisms
(2010-09-08)
We put forward a new class of mechanisms. In this extended abstract, we exemplify our approach only for single-good auctions in what we call a conservative-Bayesian setting. (Essentially, no common-knowledge about the ...
Learning Solutions of Similar Linear Programming Problems using Boosting Trees
(2010-09-18)
In many optimization problems, similar linear programming (LP) problems occur in the nodes of the branch and bound trees that are used to solve integer (mixed or pure, deterministic or stochastic) programming problems. ...
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 ...
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 ...
UCM/MIT Indications, Referring Expressions, and Coreference Corpus (UMIREC corpus) v1.1
(2010-05-12)
The corpus comprises 62 files in "Story Workbench" annotation format: 30 folktales in English from a variety of sources, and 32 Wall Street Journal articles selected to coincide with articles found in the Penn Treebank. ...
MOOS-IvP Autonomy Tools Users Manual
(2010-08-23)
This document describes fifteen MOOS-IvP autonomy tools. uHelmScope provides a run-time scoping window into the state of an active IvP Helm executing its mission. pMarineViewer is a geo-based GUI tool for rendering marine ...
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 ...