中文
相关论文

相关论文: Validating WordNet Meronymy Relations using Adimen…

200 篇论文

Knowledge bases such as Wikidata amass vast amounts of named entity information, such as multilingual labels, which can be extremely useful for various multilingual and cross-lingual applications. However, such labels are not guaranteed to…

计算与语言 · 计算机科学 2022-06-20 Gabriel Amaral , Mārcis Pinnis , Inguna Skadiņa , Odinaldo Rodrigues , Elena Simperl

Recent advances in large language models (LLMs) have shown promise in formal theorem proving, yet evaluating semantic correctness remains challenging. Existing evaluations rely on indirect proxies such as lexical overlap with…

计算与语言 · 计算机科学 2026-04-29 Jongyoon Kim , Hojae Han , Seung-won Hwang

The demonstrated code-understanding capability of LLMs raises the question of whether they can be used for automated program verification, a task that demands high-level abstract reasoning about program properties that is challenging for…

形式语言与自动机理论 · 计算机科学 2024-04-26 Haoze Wu , Clark Barrett , Nina Narodytska

This work falls in the areas of information retrieval and semantic web, and aims to improve the evaluation of web search tools. Indeed, the huge number of information on the web as well as the growth of new inexperienced users creates new…

信息检索 · 计算机科学 2012-12-12 Abdelkrim Bouramoul , Mohamed-Khireddine Kholladi , Bich-Liên Doan

In this work, we present a novel counter-fitting method which injects antonymy and synonymy constraints into vector space representations in order to improve the vectors' capability for judging semantic similarity. Applying this method to…

The rapid development of social platforms exacerbates the dissemination of misinformation, which stimulates the research in fact verification. Recent studies tend to leverage semantic features to solve this problem as a single-hop task.…

计算与语言 · 计算机科学 2025-03-12 Han Cao , Lingwei Wei , Wei Zhou , Songlin Hu

Automatic Text Categorization (TC) is a complex and useful task for many natural language applications, and is usually performed through the use of a set of manually classified documents, a training collection. We suggest the utilization of…

cmp-lg · 计算机科学 2008-02-03 Manuel de Buenaga Rodriguez , Jose Maria Gomez Hidalgo , Belen Diaz Agudo

Word sense disambiguation primarily addresses the lexical ambiguity of common words based on a predefined sense inventory. Conversely, proper names are usually considered to denote an ad-hoc real-world referent. Once the reference is…

计算与语言 · 计算机科学 2024-01-19 Shu-Kai Hsieh , Yu-Hsiang Tseng , Hsin-Yu Chou , Ching-Wen Yang , Yu-Yun Chang

The paper presents a method for word sense disambiguation based on parallel corpora. The method exploits recent advances in word alignment and word clustering based on automatic extraction of translation equivalents and being supported by…

人工智能 · 计算机科学 2007-05-23 Dan Tufis , Radu Ion , Nancy Ide

We propose a novel scheme for improving the word recognition accuracy using word image embeddings. We use a trained text recognizer, which can predict multiple text hypothesis for a given word image. Our fusion scheme improves the…

计算机视觉与模式识别 · 计算机科学 2020-10-28 Siddhant Bansal , Praveen Krishnan , C. V. Jawahar

Images and text co-occur constantly on the web, but explicit links between images and sentences (or other intra-document textual units) are often not present. We present algorithms that discover image-sentence relationships without relying…

计算与语言 · 计算机科学 2019-09-04 Jack Hessel , Lillian Lee , David Mimno

A fundamental ability of humans is to utilize commonsense knowledge in language understanding and question answering. In recent years, many knowledge-enhanced Commonsense Question Answering (CQA) approaches have been proposed. However, it…

计算与语言 · 计算机科学 2021-01-06 Ning Bian , Xianpei Han , Bo Chen , Le Sun

In this paper, we present an Assertion-based Multi-View Fusion network (AMVNet) for LiDAR semantic segmentation which aggregates the semantic features of individual projection-based networks using late fusion. Given class scores from…

计算机视觉与模式识别 · 计算机科学 2020-12-10 Venice Erin Liong , Thi Ngoc Tho Nguyen , Sergi Widjaja , Dhananjai Sharma , Zhuang Jie Chong

Multiagent AI systems require consistent communication, but we lack methods to verify that agents share the same understanding of the terms used. Natural language is interpretable but vulnerable to semantic drift, while learned protocols…

人工智能 · 计算机科学 2026-03-20 Philipp Schoenegger , Matt Carlson , Chris Schneider , Chris Daly

Conversational systems have become increasingly popular as a way for humans to interact with computers. To be able to provide intelligent responses, conversational systems must correctly model the structure and semantics of a conversation.…

计算与语言 · 计算机科学 2018-06-19 Svitlana Vakulenko , Maarten de Rijke , Michael Cochez , Vadim Savenkov , Axel Polleres

Many deep learning architectures have been proposed to model the compositionality in text sequences, requiring a substantial number of parameters and expensive computations. However, there has not been a rigorous evaluation regarding the…

Word sense disambiguation algorithms, with few exceptions, have made use of only one lexical knowledge source. We describe a system which performs unrestricted word sense disambiguation (on all content words in free text) by combining…

cmp-lg · 计算机科学 2007-05-23 Yorick Wilks , Mark Stevenson

As Web sites are now ordinary products, it is necessary to explicit the notion of quality of a Web site. The quality of a site may be linked to the easiness of accessibility and also to other criteria such as the fact that the site is up to…

信息检索 · 计算机科学 2007-05-23 Thierry Despeyroux

This vision paper articulates a long-term research agenda for formal methods at the intersection with artificial intelligence, outlining multiple conceptual and technical dimensions and reporting on our ongoing work toward realising this…

软件工程 · 计算机科学 2026-02-04 Arshad Beg , Diarmuid O'Donoghue , Rosemary Monahan

Semantic map models (SMMs) construct a network-like conceptual space from cross-linguistic instances or forms, based on the connectivity hypothesis. This approach has been widely used to represent similarity and entailment relationships in…

计算与语言 · 计算机科学 2025-04-01 Zhu Liu , Cunliang Kong , Ying Liu , Maosong Sun