research
∙
10/12/2022
S4ND: Modeling Images and Videos as Multidimensional Signals Using State Spaces
Visual data such as images and videos are typically modeled as discretiz...
share
research
∙
04/29/2021
A Normal Form Characterization for Efficient Boolean Skolem Function Synthesis
Boolean Skolem function synthesis concerns synthesizing outputs as Boole...
research
∙
01/28/2021
Eye: Program Visualizer for CS2
In recent years, programming has witnessed a shift towards using standar...
research
∙
09/22/2019