research
∙
05/13/2023
Morpheus: Automated Safety Verification of Data-dependent Parser Combinator Programs
Parser combinators are a well-known mechanism used for the compositional...
share
research
∙
04/06/2023
Covering All the Bases: Type-Based Verification of Test Input Generators
Test input generators are an important part of property-based testing (P...
research
∙
09/06/2022
Specification-Guided Component-Based Synthesis from Effectful Libraries
Component-based synthesis seeks to build programs using the APIs provide...
research
∙
10/27/2021
Stubbifier: Debloating Dynamic Server-Side JavaScript Applications
JavaScript is an increasingly popular language for server-side developme...
research
∙
03/19/2021
Online Lifelong Generalized Zero-Shot Learning
Methods proposed in the literature for zero-shot learning (ZSL) are typi...
research
∙
01/22/2021
Generative Replay-based Continual Zero-Shot Learning
Zero-shot learning is a new paradigm to classify objects from classes th...
research
∙
11/17/2020
Generalized Continual Zero-Shot Learning
Recently, zero-shot learning (ZSL) emerged as an exciting topic and attr...
research
∙
11/14/2020
Towards Zero-Shot Learning with Fewer Seen Class Examples
We present a meta-learning based generative model for zero-shot learning...
research
∙
09/08/2020
Fuzzy Unique Image Transformation: Defense Against Adversarial Attacks On Deep COVID-19 Models
Early identification of COVID-19 using a deep model trained on Chest X-R...
research
∙
01/18/2020
Stacked Adversarial Network for Zero-Shot Sketch based Image Retrieval
Conventional approaches to Sketch-Based Image Retrieval (SBIR) assume th...
research
∙
04/18/2019
Generative Model for Zero-Shot Sketch-Based Image Retrieval
We present a probabilistic model for Sketch-Based Image Retrieval (SBIR)...
research
∙
07/31/2018
A Zero-Shot Framework for Sketch-based Image Retrieval
Sketch-based image retrieval (SBIR) is the task of retrieving images fro...
research
∙
01/27/2018
A Generative Approach to Zero-Shot and Few-Shot Action Recognition
We present a generative framework for zero-shot action recognition where...
research
∙
12/23/2017
Presburger-Definable Parameterized Typestates
Typestates are good at capturing dynamic states of a program as compared...
research
∙
12/11/2017
Generalized Zero-Shot Learning via Synthesized Examples
We present a generative framework for generalized zero-shot learning whe...
research
∙
10/31/2016