中文
相关论文

相关论文: MontiCore: A Framework for the Development of Text…

200 篇论文

The generation of texts using Large Language Models (LLMs) is inherently uncertain, with sources of uncertainty being not only the generation of texts, but also the prompt used and the downstream interpretation. Within this work, we provide…

机器学习 · 计算机科学 2026-03-30 Steffen Herbold , Florian Lemmerich

Cross-lingual in-context learning (XICL) has emerged as a transformative paradigm for leveraging large language models (LLMs) to tackle multilingual tasks, especially for low-resource languages. However, existing approaches often rely on…

计算与语言 · 计算机科学 2024-12-13 Mateo Alejandro Rojas , Rafael Carranza

Document-level discourse parsing, in accordance with the Rhetorical Structure Theory (RST), remains notoriously challenging. Challenges include the deep structure of document-level discourse trees, the requirement of subtle semantic…

计算与语言 · 计算机科学 2020-12-22 Ke Shi , Zhengyuan Liu , Nancy F. Chen

Language-orientated programming promises to elevate programmer productivity through increased abstrac- tion capabilities. Structural programming environments provide apparatus to reduce the difficulties with syntax. The language workbench,…

编程语言 · 计算机科学 2014-03-18 Gavin Wood

Our understanding of the visual world is centered around various concept axes, characterizing different aspects of visual entities. While different concept axes can be easily specified by language, e.g. color, the exact visual nuances along…

计算机视觉与模式识别 · 计算机科学 2024-04-04 Sharon Lee , Yunzhi Zhang , Shangzhe Wu , Jiajun Wu

Python is a popular high-level general-purpose programming language also heavily used by the scientific community. It supports a variety of different programming paradigms and is preferred by many for its ease of use. With the vision of…

编程语言 · 计算机科学 2021-09-08 Maximilian A. Köhl

The focus of these lecture notes is on abstract models and basic ideas and results that relate to the operational semantics of programming languages largely conceived. The approach is to start with an abstract description of the computation…

编程语言 · 计算机科学 2025-10-15 Roberto M. Amadio

Categorical semantics of type theories are often characterized as structure-preserving functors. This is because in category theory both the syntax and the domain of interpretation are uniformly treated as structured categories, so that we…

编程语言 · 计算机科学 2024-02-14 Shin-ya Katsumata , Xavier Rival , Jérémy Dubut

Among the most general structures extending the framework by Dung are the abstract dialectical frameworks (ADFs). They come equipped with various types of semantics, with the most prominent - the labeling-based one - analyzed in the context…

人工智能 · 计算机科学 2016-07-05 Sylwia Polberg

We study expression learning problems with syntactic restrictions and introduce the class of finite-aspect checkable languages to characterize symbolic languages that admit decidable learning. The semantics of such languages can be defined…

计算机科学中的逻辑 · 计算机科学 2023-03-22 Paul Krogmeier , P. Madhusudan

Recent advances in open-vocabulary object detection models will enable Automatic Target Recognition systems to be sustainable and repurposed by non-technical end-users for a variety of applications or missions. New, and potentially nuanced,…

计算机视觉与模式识别 · 计算机科学 2025-03-24 Louis Y. Kim , Michelle Karker , Victoria Valledor , Seiyoung C. Lee , Karl F. Brzoska , Margaret Duff , Anthony Palladino

Multi-task learning (MTL) aims at improving the generalization performance of several related tasks by leveraging useful information contained in them. However, in industrial scenarios, interpretability is always demanded, and the data of…

机器学习 · 计算机科学 2020-03-17 Ya-Lin Zhang , Longfei Li

Passive documents and active programs now widely comingle. Document languages include Turing-complete programming elements, and programming languages include sophisticated document notations. However, there are no formal foundations that…

编程语言 · 计算机科学 2023-11-15 Will Crichton , Shriram Krishnamurthi

Domain-driven design (DDD) is a powerful design technique for architecting complex software systems. This paper introduces a prompting framework that automates core DDD activities through structured large language model (LLM) interactions.…

软件工程 · 计算机科学 2026-03-30 Tobias Eisenreich , Husein Jusic , Stefan Wagner

Learning representation for source code is a foundation of many program analysis tasks. In recent years, neural networks have already shown success in this area, but most existing models did not make full use of the unique structural…

软件工程 · 计算机科学 2021-04-02 Wenhan Wang , Ge Li , Sijie Shen , Xin Xia , Zhi Jin

Context. An extension method is a method declared in a package other than the package of its host class. Thanks to extension methods, developers can adapt to their needs classes they do not own: adding methods to core classes is a typical…

编程语言 · 计算机科学 2017-08-08 Guillermo Polito , Camille Teruel , Stéphane Ducasse , Luc Fabresse

There is a vast gap in the quality of IDE tooling between static languages like Java and dynamic languages like Python or JavaScript. Modern frameworks and libraries in these languages heavily use their dynamic capabilities to achieve the…

编程语言 · 计算机科学 2024-02-01 Franciszek Piszcz

The meaning of a word often varies depending on its usage in different domains. The standard word embedding models struggle to represent this variation, as they learn a single global representation for a word. We propose a method to learn…

计算与语言 · 计算机科学 2019-10-22 Lahari Poddar , Gyorgy Szarvas , Lea Frermann

The organization of latent knowledge within large-scale models poses unique challenges when addressing overlapping representations and optimizing contextual accuracy. Conceptual redundancies embedded across layers often result in…

计算与语言 · 计算机科学 2025-03-26 Joseph Sakau , Evander Kozlowski , Roderick Thistledown , Basil Steinberger

This report explores how (potentially constrained) natural language can be used to enable non-experts to develop process models by simply describing scenarios in plain text. To this end, a framework, called BeePath, is proposed. It allows…

计算与语言 · 计算机科学 2025-08-25 Andrea Burattin , Antonio Grama , Ana-Maria Sima , Andrey Rivkin , Barbara Weber