Publications
-
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.
-
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 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…
-
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.
-
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.
-
Evaluating Robust Features on Deep Neural Networks for Speech Recognition in Noisy and Channel Mismatched Conditions
In this work we present a study exploring both conventional DNNs and deep Convolutional Neural Networks (CNN) for noise- and channel-degraded speech recognition tasks using the Aurora4 dataset.
-
Human Endogenous Retrovirus K Expression Predicts a Prostate Cancer Diagnosis
This review will summarize the current state of knowledge regarding HERV-K and cancer and attempt to outline the potential mechanisms by which HERV-K could be involved in the onset and…
-
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.
-
Disability Identification and Self-Efficacy among College Students on the Autism Spectrum
This study uses data from the National Longitudinal Transition Study 2 to examine the prevalence and correlates of disability identification and self-efficacy among college students on the autism spectrum.
-
AR-Mentor: Augmented Reality Based Mentoring System
The system combines a wearable Optical-See-Through (OST) display device with high precision 6-Degree-Of-Freedom (DOF) pose tracking and a virtual personal assistant (VPA) with natural language, verbal conversational interaction, providing guidance…