Search
Now showing items 3621-3630 of 4210
From Formal Methods to Executable Code
(2012-08-27)
The objective of this work is the derivation of software that is verifiably correct. Our approach is to abstract system specifications and model these in a formal framework called Timed Input/Output Automata, which provides ...
A Social-Welfare Optimal Probabilistic Mechanism for Knightian Single-Good Auctions
(2012-09-07)
We provide an optimal probabilistic mechanism for maximizing social welfare in single-good auctions when each player does not know his true valuation for the good, but only a set of valuations that is guaranteed to include ...
Robust Tracking for Real-Time Dense RGB-D Mapping with Kintinuous
(2012-09-17)
This paper describes extensions to the Kintinuous algorithm for spatially extended KinectFusion, incorporating the following additions: (i) the integration of multiple 6DOF camera odometry estimation methods for robust ...
Aeolus Reference Manual
(2012-09-14)
This document describes the interface that the Aeolus information flow platform provides for users who are implementing applications using Java. The document explains how the Aeolus features are made available by means of ...
Code for Java Libraries for Accessing the Princeton Wordnet: Comparison and Evaluation
(2013-11-01)
This archive contains the code and data for running the evaluations described in: Finlayson, Mark Alan (2014) "Java Libraries for Accessing the Princeton Wordnet: comparison and Evaluation" in Proceedings of the 7th Global ...
3D Tracking via Body Radio Reflections
(2013-12-11)
This paper introduces WiTrack, a system that tracks the 3D motion of a user from the radio signals reflected off her body. It works even if the person is occluded from the WiTrack device or in a different room. WiTrack ...
GenBase: A Complex Analytics Genomics Benchmark
(2013-11-19)
This paper introduces a new benchmark, designed to test database management system (DBMS) performance on a mix of data management tasks (joins, filters, etc.) and complex analytics (regression, singular value decomposition, ...
Asynchronous Failure Detectors
(2013-10-10)
Failure detectors -- oracles that provide information about process crashes -- are an important abstraction for crash tolerance in distributed systems. The generality of failure-detector theory, while providing great ...
OpenTuner: An Extensible Framework for Program Autotuning
(2013-11-01)
Program autotuning has been shown to achieve better or more portable performance in a number of domains. However, autotuners themselves are rarely portable between projects, for a number of reasons: using a domain-informed ...
Reliability-Aware Optimization of Approximate Computational Kernels with Rely
(2014-01-09)
Emerging high-performance architectures are anticipated to contain unreliable components (e.g., ALUs) that offer low power consumption at the expense of soft errors. Some applications (such as multimedia processing, machine ...