中文
相关论文

相关论文: Towards Visual Type Theory as a Mathematical Tool …

200 篇论文

It is said that beauty is in the eye of the beholder. But how exactly can we characterize such discrepancies in interpretation? For example, are there any specific features of an image that makes person A regard an image as beautiful while…

人工智能 · 计算机科学 2019-05-23 Philipp Blandfort , Jörn Hees , Desmond U. Patton

A standing challenge in undergraduate Computer Science curricula is the teaching and learning of computer programming. Through this paper which is an essay about programming, we aim to contribute to the plethora of existing pedagogies,…

编程语言 · 计算机科学 2022-02-21 Elpida Keravnou-Papailiou

The development of Large Vision-Language Models (LVLMs) is striving to catch up with the success of Large Language Models (LLMs), yet it faces more challenges to be resolved. Very recent works enable LVLMs to localize object-level visual…

计算机视觉与模式识别 · 计算机科学 2024-03-20 Zhipeng Huang , Zhizheng Zhang , Zheng-Jun Zha , Yan Lu , Baining Guo

Unlike traditional vision-only models, vision language models (VLMs) offer an intuitive way to access visual content through language prompting by combining a large language model (LLM) with a vision encoder. However, both the LLM and the…

计算机视觉与模式识别 · 计算机科学 2025-03-07 Paul Gavrikov , Jovita Lukasik , Steffen Jung , Robert Geirhos , M. Jehanzeb Mirza , Margret Keuper , Janis Keuper

Vision-language modeling (VLM) aims to bridge the information gap between images and natural language. Under the new paradigm of first pre-training on massive image-text pairs and then fine-tuning on task-specific data, VLM in the remote…

计算机视觉与模式识别 · 计算机科学 2025-06-11 Xingxing Weng , Chao Pang , Gui-Song Xia

In the field of spoken language processing, audio-visual speech processing is receiving increasing research attention. Key components of this research include tasks such as lip reading, audio-visual speech recognition, and visual-to-speech…

声音 · 计算机科学 2024-10-01 Chen Chen , Xiaolou Li , Zehua Liu , Lantian Li , Dong Wang

Visual planning simulates how humans make decisions to achieve desired goals in the form of searching for visual causal transitions between an initial visual state and a final visual goal state. It has become increasingly important in…

人工智能 · 计算机科学 2024-03-28 Yilue Qian , Peiyu Yu , Ying Nian Wu , Yao Su , Wei Wang , Lifeng Fan

Visual language is a system of communication that conveys information through symbols, shapes, and spatial arrangements. Diagrams are a typical example of a visual language depicting complex concepts and their relationships in the form of…

计算与语言 · 计算机科学 2025-05-27 Yifan Hou , Buse Giledereli , Yilei Tu , Mrinmaya Sachan

Semantic Similarity is an important application which finds its use in many downstream NLP applications. Though the task is mathematically defined, semantic similarity's essence is to capture the notions of similarity impregnated in humans.…

计算与语言 · 计算机科学 2018-05-18 Ameet Deshpande , Vedant Somani

We propose a new cubical type theory, termed (self-deprecatingly) the naive cubical type theory, and study its semantics using the universe category framework, which is similar to Uemura's categories with representable morphisms. In…

计算机科学中的逻辑 · 计算机科学 2025-12-22 Chris Kapulkin , Yufeng Li

Latent image representations arising from vision-language models have proved immensely useful for a variety of downstream tasks. However, their utility is limited by their entanglement with respect to different visual attributes. For…

计算机视觉与模式识别 · 计算机科学 2023-11-14 James Oldfield , Christos Tzelepis , Yannis Panagakis , Mihalis A. Nicolaou , Ioannis Patras

In this paper, our focus is the connection and influence of language technologies on the research in neurolinguistics. We present a review of brain imaging-based neurolinguistic studies with a focus on the natural language representations,…

机器学习 · 计算机科学 2020-03-25 Ekaterina Artemova , Amir Bakarov , Aleksey Artemov , Evgeny Burnaev , Maxim Sharaev

Spatial visualization is the mental ability to imagine, transform, and manipulate the spatial characteristics of objects and actions. This intelligence is a part of human cognition where actions and perception are connected on a mental…

计算机视觉与模式识别 · 计算机科学 2026-02-24 Nilay Yilmaz , Maitreya Patel , Naga Sai Abhiram Kusumba , Yixuan He , Yezhou Yang

A visual metaphor constitutes a high-order form of human creativity, employing cross-domain semantic fusion to transform abstract concepts into impactful visual rhetoric. Despite the remarkable progress of generative AI, existing models…

计算机视觉与模式识别 · 计算机科学 2026-02-03 Yu Xu , Yuxin Zhang , Juan Cao , Lin Gao , Chunyu Wang , Oliver Deussen , Tong-Yee Lee , Fan Tang

Accurate volume estimation of objects from visual data is a long-standing challenge in computer vision with significant applications in robotics, logistics, and smart health. Existing methods often rely on complex 3D reconstruction…

计算机视觉与模式识别 · 计算机科学 2026-04-14 Gautham Vinod , Bruce Coburn , Siddeshwar Raghavan , Fengqing Zhu

The growing complexity of modern practical problems puts high demands on the mathematical modelling. Given that various models can be used for modelling one physical phenomenon, the role of model comparison and model choice becomes…

范畴论 · 数学 2021-08-16 Dmitrii Legatiuk

We report the development of a user-friendly nano-visualization software program which can acquaint high-school students with nanotechnology. The visual introduction to atoms and molecules, which are the building blocks of this technology,…

物理教育 · 物理学 2016-05-11 Lillian C. Oetting , Tehseen Z. Raza , Hassan Raza

Current work on multimodal machine translation (MMT) has suggested that the visual modality is either unnecessary or only marginally beneficial. We posit that this is a consequence of the very simple, short and repetitive sentences used in…

计算与语言 · 计算机科学 2019-06-04 Ozan Caglayan , Pranava Madhyastha , Lucia Specia , Loïc Barrault

Computational modeling helps neuroscientists to integrate and explain experimental data obtained through neurophysiological and anatomical studies, thus providing a mechanism by which we can better understand and predict the principles of…

神经元与认知 · 定量生物学 2023-09-22 Parvin Zarei Eskikand , David B Grayden , Tatiana Kameneva , Anthony N Burkitt , Michael R Ibbotson

Many applications require an understanding of an image that goes beyond the simple detection and classification of its objects. In particular, a great deal of semantic information is carried in the relationships between objects. We have…

人工智能 · 计算机科学 2018-08-28 Stephan Baier , Yunpu Ma , Volker Tresp
‹ 上一页 1 8 9 10 下一页 ›