Information & computer science publications

The paper describes and illustrates these applications of synchronous observers.

DroidMiner is a new malicious Android app detection system that uses static analysis to automatically mine malicious program logic from known Android malware.

In this paper, we propose a novel approach for object cosegmentation in arbitrary videos by sampling, tracking and matching object proposals via a Regulated Maximum Weight Clique (RMWC) extraction scheme.

Inspired by concolic testing, we propose a novel algorithm that integrates concrete execution and symbolic reasoning about the error trace to address these challenges.

This paper reports on our initial steps toward representing this core theme and describes the methodological background and open challenges.

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.

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…

We propose a template-based approach that extracts a functional description for a low-level combinational circuit by showing it to be equivalent to a reference implementation, while synthesizing an appropriate mapping…