Information & computer science publications
-
Smten: Automatic Translation of High-Level Symbolic Computations into SMT Queries
This paper introduces Smten, a tool for automatically translating high-level symbolic computations into SMT queries.
-
Automorphism Groups of Graphical Models and Lifted Variational Inference
Using the theory of group action, we first introduce the concept of the automorphism group of an exponential family or a graphical model, thus formalizing the general notion of symmetry…
-
An Exploratory Study of Interdisciplinarity and Breakthrough Ideas
We conduct an exploratory study to understand how to measure the degree of interdisciplinarity involved in novel, significant research fields, and how those measures capture the integration of disparate ideas…
-
Low-Light NV-CMOS Image Sensors for Day/Night Imaging
SRI’s new NV-CMOS™ image sensor technology is designed to capture images over the full range of illumination from bright sunlight to overcast starlight.
-
An Embedded Vision Services Framework for Heterogeneous Accelerators
This paper describes an architecture framework using heterogeneous hardware accelerators for embedded vision applications.
-
WordRev: Finding Word-Level Structures in a Sea of Bit-Level Gates
In this paper, we present a systemic way of automatically deriving word-level structures from the gate-level netlist of a digital circuit. We demonstrate the effectiveness of our approach on a…
-
3D Visual Proxemics: Recognizing Human Interactions in 3D from a Single Image
We present a unified framework for detecting and classifying people interactions in unconstrained user generated images.
-
Enabling Hardware Exploration in Software-Defined Networking: A Flexible, Portable Openflow Switch
We present an FPGA-based switch which is fully-compliant with OpenFlow 1.0, and meets the 10 Gbps line rate.
-
On the Applicability of Speaker Diarization to Audio Indexing of Non-Speech and Mixed Non-Speech/Speech Video
This paper explores how unsupervised audio segmentation systems like speaker diarization can be adapted to automatically identify low-level sound concepts similar to annotator defined concepts and how these concepts can…
-
Towards a Theory of Application Compartmentalisation
Drawing a comparison with capability systems, we consider how a distributed system interpretation supports an argument that compartmentalisation improves application security.
-
R-MASTIF: Robotic Mobile Autonomous System for Threat Interrogation and Object Fetch
The SRI-UPenn team fielded a modified Segway RMP 200 robot with multiple cameras and lidars. We implemented a unique computer vision based approach for textureless colored object training and detection…
-
Image to LIDAR Matching for Geotagging in Urban Environments
We present a novel method for matching ground-based query images to a georeferenced LIDAR 3D dataset acquired from an airborne platform in urban environments.