Information & computer science publications
-
Question Generation from a Knowledge Base
We present a technique for responding to natural language questions, by suggesting a series of questions that the system can actually answer. We also show that the suggested questions are…
-
Outsourcing Private Ram Computation
We construct the first schemes that allow a client to privately outsource arbitrary program executions to a remote server while ensuring that the client's work is small and essentially independent…
-
Smten with Satisfiability-Based Research
We present Smten, a high-level language for orchestrating and constructing satisfiability-based search queries. We show that applications developed using Smten require significantly fewer lines of code and less developer effort…
-
Adaptive Interest Modeling Improves Content Services at the Network Edge
How to get the relevant content to the right user quickly, in the midst of network disruptions and resource constraints, is a key research challenge.
-
Risks and Myths of Cloud Computing and Cloud Storage
Considering existing and new types of risks inherent in cloud services.
-
A Computational Photography Shootout: Wavefront Coding Vs. Lattice Focal Imaging
We systematically compared the optical performance of two computational photography (CP) approaches used to extend the depth of field of an imaging system: wavefront coding and lattice focal lens imaging.
-
Mechanized Support for Assurance Case Argumentation
We propose simple ways in which an assurance case, formalized in a mechanized verification system to support the first purpose, can be adapted to serve the second.
-
A Framework for High-Assurance Quasi-Synchronous Systems
In this paper, we examine the foundations of a quasi-synchronous model of computation Our version of the quasi-synchronous model is inspired by the Robot Operating System (ROS).
-
Augmented Reality Binoculars on the Move
We present our latest improvements and additions to our pose estimation pipeline and demonstrate stable registration of objects on the real world scenery while the binoculars are undergoing significant amount…
-
Partially Ordered Knowledge Sharing and Fractionated Systems in the Context of Other Models for Distributed Computing
Traditional models based on strong computing primitives, such as atomic transactions, should be replaced by weaker models such as the partially ordered knowledge sharing model, which we motivate in this paper…
-
The Semantics of Datalog for the Evidential Tool Bus
The Evidential Tool Bus (ETB) is a distributed framework for tool integration for the purpose of building and maintaining assurance cases. We outline the semantic characteristics of the variant of…
-
ROSRV: Runtime Verification for Robots
We present ROSRV, a runtime verification framework for robotic applications on top of the Robot Operating System (ROS), a widely used open-source framework for robot software development.