Information & computer science publications
-
DCAD: Dynamic Cell Anomaly Detection for Operational Cellular Networks
In this paper, we present Dynamic Cell Anomaly Detection (DCAD), a tool that implements an adaptive ensemble method for modeling cell behavior [5], [6].
-
Emotion Detection in Speech Using Deep Networks
We propose a novel staged hybrid model for emotion detection in speech. Hybrid models exploit the strength of discriminative classifiers along with the representational power of generative models.
-
Global Ethics and Virtual Worlds: Ensuring Functional Integrity in Transnational Research Studies
This paper examines a number of issues in this research context, with particular stress on the challenges posed by transnational experimental projects in virtual worlds and social networks.
-
Neuroscience Meets Cryptography: Crypto Primitives Secure against Rubber Hose Attacks
We present a defense against coercion attacks using the concept of implicit learning from cognitive psychology. We use a carefully crafted computer game to plant a secret password in the participant’s brain…
-
NV-CMOS HD Camera for Day/Night Imaging
SRI International (SRI) has developed a new multi-purpose day/night video camera with low-light imaging performance comparable to an image intensifier, while offering the size, weight, ruggedness, and cost advantages enabled…
-
A Synthesized Algorithm for Interactive Consistency
We discovered our algorithm using an automated synthesis technique that is based on bounded model checking and QBF solving. Our synthesis technique is general and simple, and it is a…
-
Multi-Modal Image Retrieval for Complex Queries Using Small Codes
We propose a unified framework for image retrieval capable of handling complex and descriptive queries of multiple modalities in a scalable manner.
-
The Gradual Verifier
We propose a gradual verification approach, GraVy. For a given piece of Java code, GraVy partitions the statements into those that are unreachable, or from which exceptional termination is impossible, inevitable, or…
-
ISOMER: Informative Segment Observations for Multimedia Event Recounting
This paper describes a system for multimedia event detection and recounting. The goal is to detect a high level event class in unconstrained web videos and generate event oriented summarization…
-
Reverse Engineering Digital Circuits Using Structural and Functional Analyses
In this paper, we present a set of algorithms for the reverse engineering of digital circuits starting from an unstructured netlist and resulting in a high-level netlist with components such…
-
Addition of Escherichia coli K-12 Growth Observation and Gene Essentiality Data to the Ecocyc Database
We have integrated data on the growth or nongrowth of E. coli K-12 obtained from published observations using a variety of individual media and from high-throughput phenotype microarrays into the…
-
Two-Round Secure Mpc from Indistinguishability Obfuscation
Here, we show how to achieve this result with only two rounds. We obtain UC security with abort against static malicious adversaries, and fairness if there is an honest majority.