Search
Now showing items 141-150 of 181
Modelling and Implementation of QoS in Wireless Sensor Networks: A Multiconstrained Traffic Engineering Model
(Springer, 2010)
This paper revisits the problem of Quality of Service (QoS) provisioning to assess the relevance of using multipath routing to improve the reliability and packet delivery in wireless sensor networks while maintaining lower ...
Automatic Error Finding in Access-Control Policies
(2010-05-05)
Access-control policies are a key infrastructural technology for computer security. However, a significant problem is that system administrators need to be able to automatically verify whether their policies capture the ...
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 ...
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 ...
Annotation Guide for the UCM/MIT Indications, Referential Expressions, and Coreference Corpus (UMIREC Corpus)
(2010-05-12)
This is the annotation guide given to the annotators who created the UCM/MIT Indications, Referring Expressions, and Coreference (UMIREC) Corpus version 1.0. The corpus comprises texts annotated for referring expressions, ...
Instruction-Level Execution Migration
(2010-04-17)
We introduce the Execution Migration Machine (EM²), a novel data-centric multicore memory system architecture based on computation migration. Unlike traditional distributed memory multicores, which rely on complex cache ...
A User Study Comparing 3D Modeling with Silhouettes and Google SketchUp
(2010-05-05)
We describe a user study comparing 3D Modeling with Silhouettes and Google SketchUp. In the user study, ten users were asked to create 3D models of three different objects, using either 3D Modeling with Silhouettes or ...
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 ...
Hierarchical Task and Motion Planning in the Now
(2010-05-07)
In this paper we outline an approach to the integration of task planning and motion planning that has the following key properties: It is aggressively hierarchical. It makes choices and commits to them in a top-down fashion ...
UCM/MIT Indications, Referring Expressions, and Coreference Corpus (UMIREC corpus)
(2010-05-12)
This version of the UMIREC corpus has been superseded by version 1.1, found at http://hdl.handle.net/1721.1/57507. Please do not use version 1.0, as it contains corrupted coreference information. The correct, uncorrupted ...