Communications of the ACM

Equation-Directed Axiomatization of Lustre Semantics to Enable Optimized Code Validation

C compiler, LustreC, into a generator of both executable code and associated specification. Model-based design tools are ...
GitHub

SGIFormer: Semantic-guided and Geometric-enhanced Interleaving Transformer for 3D Instance Segmentation

This is the official implementation of paper "SGIFormer: Semantic-guided and Geometric-enhanced Interleaving Transformer for 3D Instance Segmentation". Update (27/05/2025): Our new method, LaSSM, ...
IEEE

SuperCLIP: Semantic Attribute-Guided Transformer With Super-Resolution and CLIP for Zero-Shot Remote Sensing Scene Classification

Abstract: Zero-shot scene classification in remote sensing images presents considerable challenges, primarily due to the diverse variations in scene content and the inconsistent spatial resolutions, ...
GitHub

State-of-the-art Machine Learning for the Web

Run 🤗 Transformers directly in your browser, with no need for a server! Transformers.js is designed to be functionally equivalent to Hugging Face's transformers python library, meaning you can run ...
IEEE

Asymmetric Network Based on Feedback and Transformer for Multispectral LiDAR Point Cloud Semantic Segmentation

Abstract: The 3-D point cloud semantic segmentation extends the development of computer vision. Accurate point cloud semantic segmentation is a fundamental problem in point cloud applications. However ...