English
Related papers

Related papers: SemanticBBV: A Semantic Signature for Cross-Progra…

200 papers

The ultimate goal of brain-computer interfaces (BCIs) based on visual modulation paradigms is to achieve high-speed performance without the burden of extensive calibration. Code-modulated visual evoked potential-based BCIs (cVEP-BCIs)…

Human-Computer Interaction · Computer Science 2023-11-21 Yining Miao , Nanlin Shi , Changxing Huang , Yonghao Song , Xiaogang Chen , Yijun Wang , Xiaorong Gao

Large language models face significant computational bottlenecks during inference due to the expensive output layer computation over large vocabularies. We present CSV-Decode, a novel approach that uses geometric upper bounds to construct…

Computation and Language · Computer Science 2025-12-01 Dong Liu , Yanxuan Yu , Ben Lengerich

In this paper, we introduce Semantic-SAM, a universal image segmentation model to enable segment and recognize anything at any desired granularity. Our model offers two key advantages: semantic-awareness and granularity-abundance. To…

Computer Vision and Pattern Recognition · Computer Science 2023-07-11 Feng Li , Hao Zhang , Peize Sun , Xueyan Zou , Shilong Liu , Jianwei Yang , Chunyuan Li , Lei Zhang , Jianfeng Gao

We marry two powerful ideas: deep representation learning for visual recognition and language understanding, and symbolic program execution for reasoning. Our neural-symbolic visual question answering (NS-VQA) system first recovers a…

Artificial Intelligence · Computer Science 2019-01-16 Kexin Yi , Jiajun Wu , Chuang Gan , Antonio Torralba , Pushmeet Kohli , Joshua B. Tenenbaum

Semi-supervised learning (SSL) has emerged as a promising paradigm for breast ultrasound (BUS) image segmentation, but it often suffers from unstable pseudo labels under extremely limited annotations, leading to inaccurate supervision and…

Computer Vision and Pattern Recognition · Computer Science 2026-03-09 Ruili Li , Jiayi Ding , Ruiyu Li , Yilun Jin , Shiwen Ge , Yuwen Zeng , Xiaoyong Zhang , Eichi Takaya , Jan Vrba , Noriyasu Homma

As quantum computers grow in size and scope, a question of great importance is how best to benchmark performance. Here we define a set of characteristics that any benchmark should follow -- randomized, well-defined, holistic, device…

Quantum Physics · Physics 2023-03-06 Mirko Amico , Helena Zhang , Petar Jurcevic , Lev S. Bishop , Paul Nation , Andrew Wack , David C. McKay

Visual place recognition is a challenging task for autonomous driving and robotics, which is usually considered as an image retrieval problem. A commonly used two-stage strategy involves global retrieval followed by re-ranking using…

Computer Vision and Pattern Recognition · Computer Science 2025-04-01 Yanqing Shen , Sanping Zhou , Jingwen Fu , Ruotong Wang , Shitao Chen , Nanning Zheng

Segmentation in medical imaging is an essential and often preliminary task in the image processing chain, driving numerous efforts towards the design of robust segmentation algorithms. Supervised learning methods achieve excellent…

Image and Video Processing · Electrical Eng. & Systems 2024-04-03 Pierre Rougé , Pierre-Henri Conze , Nicolas Passat , Odyssée Merveille

In task-oriented semantic communications, the transmitters are designed to deliver task-related semantic information rather than every signal bit to receivers, which alleviates the spectrum pressure by reducing network traffic loads.…

Signal Processing · Electrical Eng. & Systems 2025-01-06 Hong Chen , Fang Fang , Xianbin Wang

As video transmission increasingly serves machine vision systems (MVS) instead of human vision systems (HVS), video coding for machines (VCM) has become a critical research topic. Existing VCM methods often bind codecs to specific…

Image and Video Processing · Electrical Eng. & Systems 2025-11-04 Yuxiao Sun , Meiqin Liu , Chao Yao , Qi Tang , Jian Jin , Weisi Lin , Frederic Dufaux , Yao Zhao

By supporting the access of multiple memory words at the same time, Bit-line Computing (BC) architectures allow the parallel execution of bit-wise operations in-memory. At the array periphery, arithmetic operations are then derived with…

Hardware Architecture · Computer Science 2022-09-14 Marco Rios , Flavio Ponzina , Alexandre Levisse , Giovanni Ansaloni , David Atienza

Symbolic execution now becomes an indispensable technique for software testing and program analysis. There are several symbolic execution tools available off-the-shelf, and we need a practical benchmark approach to learn their capabilities.…

Software Engineering · Computer Science 2018-05-28 Hui Xu , Zirui Zhao , Yangfan Zhou , Michael R. Lyu

As AI systems migrate to safety-critical domains, verifying that their actions comply with well-defined rules remains a challenge. Formal methods provide provable guarantees but demand hand-crafted temporal-logic specifications, offering…

Robotics · Computer Science 2025-11-03 Yunhao Yang , Neel P. Bhatt , Pranay Samineni , Rohan Siva , Zhanyang Wang , Ufuk Topcu

Pre-training is a strong strategy for enhancing visual models to efficiently train them with a limited number of labeled images. In semantic segmentation, creating annotation masks requires an intensive amount of labor and time, and…

Computer Vision and Pattern Recognition · Computer Science 2023-10-02 Risa Shinoda , Ryo Hayamizu , Kodai Nakashima , Nakamasa Inoue , Rio Yokota , Hirokatsu Kataoka

Image Restoration (IR), a classic low-level vision task, has witnessed significant advancements through deep models that effectively model global information. Notably, the emergence of Vision Transformers (ViTs) has further propelled these…

Computer Vision and Pattern Recognition · Computer Science 2024-12-19 Bin Ren , Yawei Li , Jingyun Liang , Rakesh Ranjan , Mengyuan Liu , Rita Cucchiara , Luc Van Gool , Ming-Hsuan Yang , Nicu Sebe

Quantum computing leverages quantum effects to build algorithms that are faster then their classical variants. In machine learning, for a given model architecture, the speed of training the model is typically determined by the size of the…

Machine Learning · Computer Science 2022-04-25 Seyran Saeedi , Aliakbar Panahi , Tom Arodz

The classical simulation of quantum algorithms is a crucial tool for circuit development, testing, and validation. Although acceleration using GPUs significantly reduces simulation time, most high-performance simulators rely on…

This paper tackles the problem of real-time semantic segmentation of high definition videos using a hybrid GPU / CPU approach. We propose an Efficient Video Segmentation(EVS) pipeline that combines: (i) On the CPU, a very fast optical flow…

Computer Vision and Pattern Recognition · Computer Science 2019-12-30 Matthieu Paul , Christoph Mayer , Luc Van Gool , Radu Timofte

Evaluating sign language generation is often done through back-translation, where generated signs are first recognized back to text and then compared to a reference using text-based metrics. However, this two-step evaluation pipeline…

Computation and Language · Computer Science 2025-09-05 Saki Imai , Mert İnan , Anthony Sicilia , Malihe Alikhani

We argue that progress in true multimodal intelligence calls for a shift from reactive, task-driven systems and brute-force long context towards a broader paradigm of supersensing. We frame spatial supersensing as four stages beyond…

Computer Vision and Pattern Recognition · Computer Science 2025-11-07 Shusheng Yang , Jihan Yang , Pinzhi Huang , Ellis Brown , Zihao Yang , Yue Yu , Shengbang Tong , Zihan Zheng , Yifan Xu , Muhan Wang , Daohan Lu , Rob Fergus , Yann LeCun , Li Fei-Fei , Saining Xie
‹ Prev 1 8 9 10 Next ›