Information & computer science publications
-
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…
-
Medium-Duration Modulation Cepstral Feature for Robust Speech Recognition
In this paper, we present the Modulation of Medium Duration Speech Amplitude feature, which is a composite feature capturing subband speech modulations and a summary modulation.
-
Computationally-Efficient Endpointing Features for Natural Spoken Interaction with Personal-Assistant Systems
We elicit personal-assistant speech using a recognizer with a dramatically increased endpoint threshold, and find frequent non-final pauses. Based on the new data, we develop low-cost acoustic features to discriminate…
-
On the Feasibility of Deploying Cell Anomaly Detection in Operational Cellular Networks
In this paper, we build on our previous work and study the feasibility of an operational deployment of an adaptive ensemble-method framework for modeling cell behavior.
-
Highly Accurate Phonetic Segmentation Using Boundary Correction Models and System Fusion
Accurate phone-level segmentation of speech remains an important task for many subfields of speech research. We investigate techniques for boosting the accuracy of automatic phonetic segmentation based on HMM acoustic-phonetic…
-
Towards Quantifying the Completeness of BDI Goals
We sketch a pragmatic but principled mechanism for quantifying the level of completeness of goals in a Belief-Desire-Intention--like agent.
-
Simplified VTS-Based I-Vector Extraction in Noise-Robust Speaker Recognition
In this work, we propose an efficient simplification scheme, named sVTS, in order to show that the VTS approach gives improvements in large scale applications compared to state-of-the-art systems.
-
Submodular Subset Selection for Large-Scale Speech Training Data
We address the problem of subselecting a large set of acoustic data to train automatic speech recognition (ASR) systems. To this end, we apply a novel data selection technique based…
-
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…