中文
相关论文

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

200 篇论文

Video diffusion models (VDMs) have advanced significantly in recent years, enabling the generation of highly realistic videos and drawing the attention of the community in their potential as world simulators. However, despite their…

计算机视觉与模式识别 · 计算机科学 2025-04-07 Xindi Yang , Baolu Li , Yiming Zhang , Zhenfei Yin , Lei Bai , Liqian Ma , Zhiyong Wang , Jianfei Cai , Tien-Tsin Wong , Huchuan Lu , Xu Jia

Lexical Semantics is concerned with how words encode mental representations of the world, i.e., concepts . We call this type of concepts, classification concepts . In this paper, we focus on Visual Semantics , namely on how humans build…

人工智能 · 计算机科学 2021-09-15 Fausto Giunchiglia , Luca Erculiani , Andrea Passerini

The advent of immersive Virtual Reality applications has transformed various domains, yet their integration with advanced artificial intelligence technologies like Visual Language Models remains underexplored. This study introduces a…

机器人学 · 计算机科学 2024-08-06 Mikhail Konenkov , Artem Lykov , Daria Trinitatova , Dzmitry Tsetserukou

Topic Modeling is an approach used for automatic comprehension and classification of data in a variety of settings, and perhaps the canonical application is in uncovering thematic structure in a corpus of documents. A number of foundational…

机器学习 · 计算机科学 2012-04-13 Sanjeev Arora , Rong Ge , Ankur Moitra

Recently, the emergence of pre-trained models (PTMs) has brought natural language processing (NLP) to a new era. In this survey, we provide a comprehensive review of PTMs for NLP. We first briefly introduce language representation learning…

计算与语言 · 计算机科学 2021-06-24 Xipeng Qiu , Tianxiang Sun , Yige Xu , Yunfan Shao , Ning Dai , Xuanjing Huang

Trying to be effective (no matter who exactly and in what field) a person face the problem which inevitably destroys all our attempts to easily get to a desired goal. The problem is the existence of some insuperable barriers for our mind,…

人工智能 · 计算机科学 2016-11-17 Kirill A. Sorudeykin

Symbolic writing systems are graphical semiotic codes that are ubiquitous in modern society but are otherwise absent in the animal kingdom. Anthropological evidence suggests that the earliest forms of some writing systems originally…

计算与语言 · 计算机科学 2025-05-13 Benjamin A. Spiegel , Lucas Gelfond , George Konidaris

Visual Storytelling is a challenging multimodal task between Vision & Language, where the purpose is to generate a story for a stream of images. Its difficulty lies on the fact that the story should be both grounded to the image sequence…

计算与语言 · 计算机科学 2025-08-21 Admitos Passadakis , Yingjin Song , Albert Gatt

Visual Grounding, also known as Referring Expression Comprehension and Phrase Grounding, aims to ground the specific region(s) within the image(s) based on the given expression text. This task simulates the common referential relationships…

计算机视觉与模式识别 · 计算机科学 2025-11-12 Linhui Xiao , Xiaoshan Yang , Xiangyuan Lan , Yaowei Wang , Changsheng Xu

Real-world image recognition systems need to recognize tens of thousands of classes that constitute a plethora of visual concepts. The traditional approach of annotating thousands of images per class for training is infeasible in such a…

计算机视觉与模式识别 · 计算机科学 2017-08-08 Ang Li , Allan Jabri , Armand Joulin , Laurens van der Maaten

Large language models (LLMs) and vision-language models (VLMs) have demonstrated remarkable performance across a wide range of tasks and domains. Despite this promise, spatial understanding and reasoning -- a fundamental component of human…

计算机视觉与模式识别 · 计算机科学 2024-11-06 Jiayu Wang , Yifei Ming , Zhenmei Shi , Vibhav Vineet , Xin Wang , Yixuan Li , Neel Joshi

In this paper, we introduce a novel semantic description approach inspired on Prototype Theory foundations. We propose a Computational Prototype Model (CPM) that encodes and stores the central semantic meaning of objects category: the…

计算机视觉与模式识别 · 计算机科学 2021-07-08 Omar Vidal Pino , Erickson Rangel Nascimento , Mario Fernando Montenegro Campos

Visualisations drive all aspects of the Machine Learning (ML) Development Cycle but remain a vastly untapped resource by the research community. ML testing is a highly interactive and cognitive process which demands a human-in-the-loop…

软件工程 · 计算机科学 2023-05-23 Arumoy Shome , Luis Cruz , Arie van Deursen

Topic models have been prevalent for decades to discover latent topics and infer topic proportions of documents in an unsupervised fashion. They have been widely used in various applications like text analysis and context recommendation.…

计算与语言 · 计算机科学 2024-06-25 Xiaobao Wu , Thong Nguyen , Anh Tuan Luu

The specifics of data layout can be important for the efficiency of functional programs and interaction with external libraries. In this paper, we develop a type-theoretic approach to data layout that could be used as a typed intermediate…

计算机科学中的逻辑 · 计算机科学 2023-06-22 Henry DeYoung , Frank Pfenning

Probabilistic topic modeling is a popular and powerful family of tools for uncovering thematic structure in large sets of unstructured text documents. While much attention has been directed towards the modeling algorithms and their various…

信息检索 · 计算机科学 2014-12-01 Samuel Rönnqvist , Xiaolu Wang , Peter Sarlin

Vision-Language Models (VLMs) are trained on vast amounts of data captured by humans emulating our understanding of the world. However, known as visual illusions, human's perception of reality isn't always faithful to the physical world.…

人工智能 · 计算机科学 2023-11-02 Yichi Zhang , Jiayi Pan , Yuchen Zhou , Rui Pan , Joyce Chai

Neural machine translation has achieved remarkable empirical performance over standard benchmark datasets, yet recent evidence suggests that the models can still fail easily dealing with substandard inputs such as misspelled words, To…

计算与语言 · 计算机科学 2020-10-21 Haohan Wang , Peiyan Zhang , Eric P. Xing

We revisit the design space of visualizations aiming at identifying and relating its components. In this sense, we establish a model to examine the process through which visualizations become expressive for users. This model has leaded us…

图形学 · 计算机科学 2015-05-29 Jose F. Rodrigues , Agma J. M. Traina , Maria C. F. Oliveira , Caetano Traina

Qualitative research is an approach to understanding social phenomenon based around human interpretation of data, particularly text. Probabilistic topic modelling is a machine learning approach that is also based around the analysis of text…

人机交互 · 计算机科学 2022-10-04 Marco Gillies , Dhiraj Murthy , Harry Brenton , Rapheal Olaniyan