English
Related papers

Related papers: Spatial Logics and Model Checking for Medical Imag…

200 papers

This work explores text-to-image retrieval for queries that specify or describe a semantic category. While vision-and-language models (VLMs) like CLIP offer a straightforward open-vocabulary solution, they map text and images to distant…

Computer Vision and Pattern Recognition · Computer Science 2025-09-03 Faizan Farooq Khan , Vladan Stojnić , Zakaria Laskar , Mohamed Elhoseiny , Giorgos Tolias

Technological breakthroughs in spatial omics and artificial intelligence (AI) have the potential to transform the understanding of cancer cells and the tumor microenvironment. Here we review the role of AI in spatial omics, discussing the…

Quantitative Methods · Quantitative Biology 2025-07-01 Javad Noorbakhsh , Ali Foroughi pour , Jeffrey Chuang

Many methods have been proposed for detecting emerging events in text streams using topic modeling. However, these methods have shortcomings that make them unsuitable for rapid detection of locally emerging events on massive text streams.…

Machine Learning · Computer Science 2016-05-31 Abhinav Maurya

Despite significant progress in pixel-level medical image analysis, existing medical image segmentation models rarely explore medical segmentation and diagnosis tasks jointly. However, it is crucial for patients that models can provide…

Computer Vision and Pattern Recognition · Computer Science 2025-11-11 Lingran Song , Yucheng Zhou , Jianbing Shen

In the past ten years, with the help of deep learning, especially the rapid development of deep neural networks, medical image analysis has made remarkable progress. However, how to effectively use the relational information between various…

Computer Vision and Pattern Recognition · Computer Science 2023-03-29 Zhihua Liu

In this paper, we present an approach, namely Lexical Semantic Image Completion (LSIC), that may have potential applications in art, design, and heritage conservation, among several others. Existing image completion procedure is highly…

Computer Vision and Pattern Recognition · Computer Science 2020-03-03 Shengyu Zhang , Tan Jiang , Qinghao Huang , Ziqi Tan , Zhou Zhao , Siliang Tang , Jin Yu , Hongxia Yang , Yi Yang , Fei Wu

In this paper, we show that theory of processes can be reduced to the theory of spatial logic. Firstly, we propose a spatial logic SL for higher order pi-calculus, and give an inference system of SL. The soundness and incompleteness of SL…

Logic in Computer Science · Computer Science 2012-11-20 Zining Cao

Coordinating multi-robot systems (MRS) to search in unknown environments is particularly challenging for tasks that require semantic reasoning beyond geometric exploration. Classical coordination strategies rely on frontier coverage or…

Robotics · Computer Science 2026-04-20 Ruiyang Wang , Hao-Lun Hsu , Jiwoo Kim , Miroslav Pajic

Semi-supervised medical image segmentation has attracted much attention in recent years because of the high cost of medical image annotations. In this paper, we propose a novel Inherent Consistent Learning (ICL) method, aims to learn robust…

Computer Vision and Pattern Recognition · Computer Science 2023-04-19 Ye Zhu , Jie Yang , Si-Qi Liu , Ruimao Zhang

We tackle open-world semantic segmentation, which aims at learning to segment arbitrary visual concepts in images, by using only image-text pairs without dense annotations. Existing open-world segmentation methods have shown impressive…

Computer Vision and Pattern Recognition · Computer Science 2023-03-28 Junbum Cha , Jonghwan Mun , Byungseok Roh

The characteristics and determinants of health and disease are often organised in space, reflecting our spatially extended nature. Understanding the influence of such factors requires models capable of capturing spatial relations. Though a…

Multi-modal large language models (MLLMs) have rapidly advanced in visual tasks, yet their spatial understanding remains limited to single images, leaving them ill-suited for physical-world applications that require multi-frame reasoning.…

Computer Vision and Pattern Recognition · Computer Science 2026-05-25 Runsen Xu , Weiyao Wang , Hao Tang , Xingyu Chen , Xiaodong Wang , Fu-Jen Chu , Matt Feiszli , Kevin J. Liang

In this work, we propose a new paradigm of iterative model-based reconstruction algorithms for providing real-time solution for zooming-in and refining a region of interest in medical and clinical tomographic images. This algorithmic…

Image and Video Processing · Electrical Eng. & Systems 2025-12-01 Junqi Tang , Guixian Xu , Jinglai Li

We present a new image compression paradigm to achieve ``intelligently coding for machine'' by cleverly leveraging the common sense of Large Multimodal Models (LMMs). We are motivated by the evidence that large language/multimodal models…

Computer Vision and Pattern Recognition · Computer Science 2024-08-19 Jinming Liu , Yuntao Wei , Junyan Lin , Shengyang Zhao , Heming Sun , Zhibo Chen , Wenjun Zeng , Xin Jin

Spatial reasoning is a fundamental capability of multimodal large language models (MLLMs), yet their performance in open aerial environments remains underexplored. In this work, we present Open3D-VQA, a novel benchmark for evaluating MLLMs'…

Computer Vision and Pattern Recognition · Computer Science 2025-10-31 Weichen Zhang , Zile Zhou , Xin Zeng , Xuchen Liu , Jianjie Fang , Chen Gao , Yong Li , Jinqiang Cui , Xinlei Chen , Xiao-Ping Zhang

This paper introduces the concept of Microscopic Spatial Intelligence (MiSI), the capability to perceive and reason about the spatial relationships of invisible microscopic entities, which is fundamental to scientific discovery. To assess…

Computer Vision and Pattern Recognition · Computer Science 2025-12-15 Zongzhao Li , Xiangzhe Kong , Jiahui Su , Zongyang Ma , Mingze Li , Songyou Li , Yuelin Zhang , Yu Rong , Tingyang Xu , Deli Zhao , Wenbing Huang

We propose a novel method for semantic segmentation, the task of labeling each pixel in an image with a semantic class. Our method combines the advantages of the two main competing paradigms. Methods based on region classification offer…

Computer Vision and Pattern Recognition · Computer Science 2016-07-27 Holger Caesar , Jasper Uijlings , Vittorio Ferrari

Multimodal Large Language Models (MLLMs) have demonstrated strong cross-modal reasoning capabilities, yet their potential for vision-only tasks remains underexplored. We investigate MLLMs as training-free similarity estimators for…

Computer Vision and Pattern Recognition · Computer Science 2026-04-16 Bahey Tharwat , Giorgos Kordopatis-Zilos , Pavel Suma , Ian Reid , Giorgos Tolias

Human and animal tissues consist of heterogeneous cell types that organize and interact in highly structured manners. Bulk and single-cell sequencing technologies remove cells from their original microenvironments, resulting in a loss of…

Quantitative Methods · Quantitative Biology 2022-02-08 Boxiang Liu , Yanjun Li , Liang Zhang

The study of topological information of spatial objects has for a long time been a focus of research in disciplines like computational geometry, spatial reasoning, cognitive science, and robotics. While the majority of these researches…

Artificial Intelligence · Computer Science 2015-03-13 Sanjiang Li
‹ Prev 1 8 9 10 Next ›