Search
Now showing items 261-270 of 377
Boolean Functional Synthesis using Gated Continuous Logic Networks
Boolean Functional Synthesis (BFS) is a well-known challenging problem in the domain of automated program synthesis from logical specifications. This problem aims to synthesize a Boolean function that is correct-by-construction ...
Bayesian Nonparametric Modeling of Temporal Coherence for Entity-Driven Video Analytics
(2018-05-14)
In recent times there has been an explosion of online user-generated video content. This has generated significant research interest in video analytics. Human users understand videos based on high-level semantic ...
Access Path Based Dataflow Analysis For Sequential And Concurrent Programs
(2016-09-14)
In this thesis, we have developed a flow-sensitive data flow analysis framework for value set analyses for Java-like languages. Our analysis frame work is based on access paths—a variable followed by zero or more field ...
Falcon : A Graph Manipulation Language for Distributed Heterogeneous Systems
(2018-08-20)
Graphs model relationships across real-world entities in web graphs, social network graphs, and road network graphs. Graph algorithms analyze and transform a graph to discover graph properties or to apply a computation. ...
Design and Analysis of Consistent Algorithms for Multiclass Learning Problems
(2018-08-14)
We consider the broad framework of supervised learning, where one gets examples of objects together with some labels (such as tissue samples labeled as cancerous or non-cancerous, or images of handwritten digits labeled ...
Feature Selection under Multicollinearity & Causal Inference on Time Series
(2018-08-20)
In this work, we study and extend algorithms for Sparse Regression and Causal Inference problems. Both the problems are fundamental in the area of Data Science.
The goal of regression problem is to nd out the \best" ...
A Fine-Grained Dynamic Information Flow Analysis for Android Apps
(2018-08-20)
Android has been steadily gaining popularity ever since its launch in 2008. One of the major factors for this is the easy availability of a large variety of apps. They range from simple apps such as calculator apps to apps ...
Adaptive Selective Flooding Qos Routing
(Indian Institute of Science, 2005-02-08)
The routing strategy used in today's Internet is best-effort service, where all data packets are treated equally. This type of service is not suited for applications such as video conferencing, and video on demand, that ...
An Implementation of Cross Architecture Procedure Call
(Indian Institute of Science, 2005-01-26)
workstations are ideally suited for computing jobs which require an interactive environment because they are basically single user machines and hence provide consistent response time.
Another factor is the availability ...
Data Structures and Algorithms to Analyze Concurrency in Android Applications
Android is a popular mobile operating system, providing a rich ecosystem for the development of applications which run on the Android platform. Entities such as the device user, network and sensors interact continuously ...