Search Results for author:
Found 3 papers, 1 papers with code
S4ND: Modeling Images and Videos as Multidimensional Signals Using State Spaces
On ImageNet-1k, S4ND exceeds the performance of a Vision Transformer baseline by $1. 5\%$ when training with a $1$D sequence of patches, and matches ConvNeXt when modeling images in $2$D.
A Normal Form Characterization for Efficient Boolean Skolem Function Synthesis
Additionally, a specification admits a polynomial-sized functional solution iff there exists a semantically equivalent polynomial-sized SAUNF representation.
Eye: Program Visualizer for CS2
It demonstrates properties and usage of data structures in a general environment, thereby helping in learning, logical debugging, and code comprehension.
Computers and Society
Cannot find the paper you are looking for? You can
Submit a new open access paper.
