Publications
-
Evaluation of the Human Resources Pilot: Final Report
SRI Education conducted longitudinal case studies of the three pilot districts, examining changes in policy and practices under key levers and factors shaping variation in implementation, including leadership, labor management…
-
Randomized Support Vector Forest
We proposed a new supervised learning algorithm, Randomized Support Vector Forest (RSVF): Many partitions of the input space are constructed with partitioning regions amenable to the corresponding linear SVMs.
-
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…
-
Application of Convolutional Neural Networks to Speaker Recognition in Noisy Conditions
This paper applies a convolutional neural network (CNN) trained for automatic speech recognition (ASR) to the task of speaker identification (SID).
-
A Deep Neural Network Speaker Verification System Targeting Microphone Speech
We recently proposed the use of deep neural networks (DNN) in place of Gaussian Mixture models (GMM) in the i-vector extraction process for speaker recognition.
-
Concolic Fault Localization
Inspired by concolic testing, we propose a novel algorithm that integrates concrete execution and symbolic reasoning about the error trace to address these challenges.
-
Precise Vision-Aided Aerial Navigation
This paper proposes a novel vision-aided navigation approach that continuously estimates precise 3D absolute pose for aerial vehicles, using only inertial measurements and monocular camera observations.
-
The Versatile Synchronous Observer
The paper describes and illustrates these applications of synchronous observers.
-
Virtual Insertion: Robust Bundle Adjustment Over Long Video Sequences
Our goal is to circumvent one of the roadblocks of using existing bundle adjustment algorithms for achieving satisfactory large-area structure from motion over long video sequences, namely, the need for…
-
KB_Bio_101: Content and Challenges
We give an overview of its content, summarize the key concepts represented, and give some examples of problems requiring further ontology research.
-
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.
-
Droidminer: Automated Mining and Characterization of Fine-Grained Malicious Behaviors in Android Applications
DroidMiner is a new malicious Android app detection system that uses static analysis to automatically mine malicious program logic from known Android malware.