中文
相关论文

相关论文: Spatial Logics and Model Checking for Medical Imag…

200 篇论文

Neurons in the brain are spatially organized such that neighbors on tissue often exhibit similar response profiles. In the human language system, experimental studies have observed clusters for syntactic and semantic categories, but the…

计算与语言 · 计算机科学 2025-05-16 Neil Rathi , Johannes Mehrer , Badr AlKhamissi , Taha Binhuraib , Nicholas M. Blauch , Martin Schrimpf

Recently, machine learning-based semantic segmentation algorithms have demonstrated their potential to accurately segment regions and contours in medical images, allowing the precise location of anatomical structures and abnormalities.…

计算机视觉与模式识别 · 计算机科学 2024-03-26 Yifei Wang , Chuhong Zhu

Scene text spotting aims to detect and recognize text in real-world images, where instances are often short, fragmented, or visually ambiguous. Existing methods primarily rely on visual cues and implicitly capture local character…

计算机视觉与模式识别 · 计算机科学 2026-02-05 Leeje Jang , Yijun Lin , Yao-Yi Chiang , Jerod Weinman

A novel approach to improving the performances of confocal scanning imaging is proposed. We experimentally demonstrate its feasibility using acoustic waves. It relies on a new way to encode spatial information using the temporal dimension.…

Top-view perspective denotes a typical way in which humans read and reason over different types of maps, and it is vital for localization and navigation of humans as well as of `non-human' agents, such as the ones backed by large…

计算与语言 · 计算机科学 2024-06-05 Chengzu Li , Caiqi Zhang , Han Zhou , Nigel Collier , Anna Korhonen , Ivan Vulić

Multimodal language models (MLMs) show promise for clinical decision support and diagnostic reasoning, raising the prospect of end-to-end automated medical image interpretation. However, clinicians are highly selective in adopting AI tools;…

In this paper, we study the problem of spatial link discovery (LD), focusing primarily on topological and proximity relations between spatial objects. The problem is timely due to the large number of sources that generate spatial data,…

数据库 · 计算机科学 2018-03-06 Georgios Santipantakis , Christos Doulkeridis , George A. Vouros , Akrivi Vlachou

Efficient and accurate multi-organ segmentation from abdominal CT volumes is a fundamental challenge in medical image analysis. Existing 3D segmentation approaches are computationally and memory intensive, often processing entire volumes…

图像与视频处理 · 电气工程与系统科学 2025-05-19 Hania Ghouse , Muzammil Behzad

Genomics methods have uncovered patterns in a range of biological systems, but obscure important aspects of cell behavior: the shape, relative locations of, movement of, and interactions between cells in space. Spatial technologies that…

应用统计 · 统计学 2023-10-17 Siddhartha G Jena , Archit Verma , Barbara E Engelhardt

Model checking has been successfully used in many computer science fields, including artificial intelligence, theoretical computer science, and databases. Most of the proposed solutions make use of classical, point-based temporal logics,…

计算机科学中的逻辑 · 计算机科学 2016-01-25 A. Molinari , A. Montanari , A. Peron

Understanding the latent space geometry of large language models (LLMs) is key to interpreting their behavior and improving alignment. Yet it remains unclear to what extent LLMs linearly organize representations related to semantic…

计算与语言 · 计算机科学 2026-01-22 Baturay Saglam , Paul Kassianik , Blaine Nelson , Sajana Weerawardhena , Yaron Singer , Amin Karbasi

Spatial omics has transformed our understanding of tissue architecture by preserving spatial context of gene expression patterns. Simultaneously, advances in imaging AI have enabled extraction of morphological features describing the…

计算机视觉与模式识别 · 计算机科学 2024-08-02 Eduard Chelebian , Christophe Avenel , Carolina Wählby

Phase-only spatial light modulators (SLMs) are used in optical systems for several purposes. In this article, the main landmarks of SLM-based imaging systems are surveyed. In addition to conventional two-dimensional imaging, these systems…

光学 · 物理学 2026-03-10 Joseph Rosen

As Large Language Models (LLMs) increasingly power autonomous agents in robotics and embodied AI, understanding their spatial reasoning capabilities becomes crucial for ensuring reliable real-world deployment. Despite advances in language…

人工智能 · 计算机科学 2025-07-29 Hafsteinn Einarsson

Bridging clinical diagnostic reasoning with AI remains a central challenge in medical imaging. We introduce MedCLM, an automated pipeline that converts detection datasets into large-scale medical visual question answering (VQA) data with…

计算机视觉与模式识别 · 计算机科学 2025-10-07 Soo Yong Kim , Suin Cho , Vincent-Daniel Yun , Gyeongyeon Hwang

Advances in data collection in radiation therapy have led to an abundance of opportunities for applying data mining and machine learning techniques to promote new data-driven insights. In light of these advances, supporting collaboration…

Current multimodal LLMs encode images as static visual prefixes and rely on text-based reasoning, lacking goal-driven and adaptive visual access. Inspired by human visual perception-where attention is selectively and sequentially shifted…

计算机视觉与模式识别 · 计算机科学 2026-03-31 Guangfu Guo , Xiaoqian Lu , Yue Feng , Mingming Sun

Surgical Video Question Answering (VideoQA) provides a promising paradigm for dynamic intraoperative interpretation, enabling real-time decision support and context-aware retrieval in clinical environments. Nevertheless, existing approaches…

计算机视觉与模式识别 · 计算机科学 2026-05-19 Diandian Guo , Xikai Yang , Ruiyang Li , Jialun Pei , Pheng-Ann Heng

An effective method for combining frozen large language models (LLM) and visual encoders involves a resampler module that creates a `visual prompt' which is provided to the LLM, along with the textual prompt. While this approach has enabled…

计算机视觉与模式识别 · 计算机科学 2024-04-23 Georgios Pantazopoulos , Alessandro Suglia , Oliver Lemon , Arash Eshghi

Large vision-and-language models (VLMs) trained to match images with text on large-scale datasets of image-text pairs have shown impressive generalization ability on several vision and language tasks. Several recent works, however, showed…

计算机视觉与模式识别 · 计算机科学 2024-03-07 Navid Rajabi , Jana Kosecka