中文
相关论文

相关论文: Semantic Labelling and Learning for Parity Game So…

200 篇论文

As a fundamental NLP task, semantic role labeling (SRL) aims to discover the semantic roles for each predicate within one sentence. This paper investigates how to incorporate syntactic knowledge into the SRL task effectively. We present…

计算与语言 · 计算机科学 2019-10-25 Yue Zhang , Rui Wang , Luo Si

Semisupervised learning has emerged as a popular framework for improving modeling accuracy while controlling labeling cost. Based on an extension of stochastic composite likelihood we quantify the asymptotic accuracy of generative…

机器学习 · 计算机科学 2010-03-02 Joshua V Dillon , Krishnakumar Balasubramanian , Guy Lebanon

This paper revisits timed games by building upon the semantics introduced in "The Element of Surprise in Timed Games". We introduce some modifications to this semantics for two primary reasons: firstly, we recognize instances where the…

计算机科学中的逻辑 · 计算机科学 2025-10-10 Gilles Geeraerts , Frédéric Herbreteau , Jean-François Raskin , Alexis Reynouard

Recent progress in computer vision has been driven by high-capacity models trained on large datasets. Unfortunately, creating large datasets with pixel-level labels has been extremely costly due to the amount of human effort required. In…

计算机视觉与模式识别 · 计算机科学 2016-08-09 Stephan R. Richter , Vibhav Vineet , Stefan Roth , Vladlen Koltun

Transfer Learning is an area of statistics and machine learning research that seeks answers to the following question: how do we build successful learning algorithms when the data available for training our model is qualitatively different…

机器学习 · 计算机科学 2022-11-09 Brandon Tse Wei Chow

Example-guided image synthesis aims to synthesize an image from a semantic label map and an exemplary image indicating style. We use the term "style" in this problem to refer to implicit characteristics of images, for example: in portraits…

计算机视觉与模式识别 · 计算机科学 2019-07-01 Miao Wang , Guo-Ye Yang , Ruilong Li , Run-Ze Liang , Song-Hai Zhang , Peter. M. Hall , Shi-Min Hu

Semantic parsers map natural language utterances to meaning representations. The lack of a single standard for meaning representations led to the creation of a plethora of semantic parsing datasets. To unify different datasets and train a…

计算与语言 · 计算机科学 2021-06-15 Marco Damonte , Emilio Monti

We study LTLf synthesis with multiple properties, where satisfying all properties may be impossible. Instead of enumerating subsets of properties, we compute in one fixed-point computation the relation between product-game states and the…

To address semi-supervised learning from both labeled and unlabeled data, we present a novel meta-learning scheme. We particularly consider that labeled and unlabeled data share disjoint ground truth label sets, which can be seen tasks like…

计算机视觉与模式识别 · 计算机科学 2020-08-26 Yun-Chun Chen , Chao-Te Chou , Yu-Chiang Frank Wang

Previous research has sought to enhance the graph reasoning capabilities of LLMs by supervised fine-tuning on synthetic graph data. While these led to specialized LLMs better at solving graph algorithm problems, we don't need LLMs for…

机器学习 · 计算机科学 2025-08-19 Yizhuo Zhang , Heng Wang , Shangbin Feng , Zhaoxuan Tan , Xinyun Liu , Yulia Tsvetkov

Semantic role labeling (SRL) aims to identify the predicate-argument structure of a sentence. Inspired by the strong correlation between syntax and semantics, previous works pay much attention to improve SRL performance on exploiting…

计算与语言 · 计算机科学 2019-11-13 Qingrong Xia , Zhenghua Li , Min Zhang

Service robots benefit from encoding information in semantically meaningful ways to enable more robust task execution. Prior work has shown multi-relational embeddings can encode semantic knowledge graphs to promote generalizability and…

机器学习 · 计算机科学 2019-07-10 Angel Daruna , Weiyu Liu , Zsolt Kira , Sonia Chernova

Semantic segmentation requires large amounts of pixel-wise annotations to learn accurate models. In this paper, we present a video prediction-based methodology to scale up training sets by synthesizing new training samples in order to…

计算机视觉与模式识别 · 计算机科学 2019-07-04 Yi Zhu , Karan Sapra , Fitsum A. Reda , Kevin J. Shih , Shawn Newsam , Andrew Tao , Bryan Catanzaro

Part of the theory of logic programming and nonmonotonic reasoning concerns the study of fixed-point semantics for these paradigms. Several different semantics have been proposed during the last two decades, and some have been more…

人工智能 · 计算机科学 2007-05-23 Pascal Hitzler , Matthias Wendt

In informational recommenders, many challenges arise from the need to handle the semantic and hierarchical structure between knowledge areas. This work aims to advance towards building a state-aware educational recommendation system that…

信息检索 · 计算机科学 2021-12-09 Sahan Bulathwela , María Pérez-Ortiz , Emine Yilmaz , John Shawe-Taylor

We introduce stratified labelings as a novel semantical approach to abstract argumentation frameworks. Compared to standard labelings, stratified labelings provide a more fine-grained assessment of the controversiality of arguments using…

人工智能 · 计算机科学 2013-08-06 Matthias Thimm , Gabriele Kern-Isberner

Synthesis from linear temporal logic (LTL) specifications provides assured controllers for systems operating in stochastic and potentially adversarial environments. Automatic synthesis tools, however, require a model of the environment to…

人工智能 · 计算机科学 2026-04-07 Alper Kamil Bozkurt , Yu Wang , Michael M. Zavlanos , Miroslav Pajic

Semantic role labeling (SRL) is a crucial task of natural language processing (NLP). Although generative decoder-based large language models (LLMs) have achieved remarkable success across various NLP tasks, they still lag behind…

计算与语言 · 计算机科学 2025-06-09 Xinxin Li , Huiyao Chen , Chengjun Liu , Jing Li , Meishan Zhang , Jun Yu , Min Zhang

High annotation costs are a major bottleneck for the training of semantic segmentation systems. Therefore, methods working with less annotation effort are of special interest. This paper studies the problem of semi-supervised semantic…

计算机视觉与模式识别 · 计算机科学 2021-03-22 Olga Zatsarynna , Johann Sawatzky , Juergen Gall

Establishing dense correspondences across semantically similar images remains a challenging task due to the significant intra-class variations and background clutters. Traditionally, a supervised learning was used for training the models,…

计算机视觉与模式识别 · 计算机科学 2022-04-06 Jiwon Kim , Kwangrok Ryoo , Junyoung Seo , Gyuseong Lee , Daehwan Kim , Hansang Cho , Seungryong Kim