中文
相关论文

相关论文: An Empirical Study on the "Usage of Not" in Real-W…

200 篇论文

Most spreadsheet surveys both for reporting use and error focus on the practical application of the spreadsheet in a particular industry. Typically these studies will illustrate that a particular percentage of spreadsheets are used for…

人机交互 · 计算机科学 2008-03-10 Simon Thorne , David Ball

Negations are key to determining sentence meaning, making them essential for logical reasoning. Despite their importance, negations pose a substantial challenge for large language models (LLMs) and remain underexplored. We constructed and…

计算与语言 · 计算机科学 2025-06-04 Tereza Vrabcová , Marek Kadlčík , Petr Sojka , Michal Štefánik , Michal Spiegel

Sketching is an important means of communication in software engineering practice. Yet, there is little research investigating the use of sketches. We want to contribute a better understanding of sketching, in particular its use during…

软件工程 · 计算机科学 2016-12-06 Sebastian Baltes , Stefan Wagner

In this paper, we present a static code analysis strategy to extract logical schemas from NoSQL applications. Our solution is based on a model-driven reverse engineering process composed of a chain of platform-independent model…

数据库 · 计算机科学 2026-01-21 Carlos J. Fernandez-Candel , Anthony Cleve , Jesus J. Garcia-Molina

With data lakes and schema-free NoSQL document stores, extracting a descriptive schema from JSON data collections is an acute challenge. In this paper, we target the discovery of tagged unions, a JSON Schema design pattern where the value…

数据库 · 计算机科学 2023-06-13 Stefan Klessinger , Meike Klettke , Uta Störl , Stefanie Scherzinger

One crucial aspect of sentiment analysis is negation handling, where the occurrence of negation can flip the sentiment of a sentence and negatively affects the machine learning-based sentiment classification. The role of negation in Arabic…

计算与语言 · 计算机科学 2021-07-27 Omar Al-Harbi

Machine learning based decision making systems applied in safety critical areas require reliable high certainty predictions. For this purpose, the system can be extended by an reject option which allows the system to reject inputs where…

机器学习 · 计算机科学 2022-07-06 André Artelt , Barbara Hammer

Negation is a fundamental linguistic concept used by humans to convey information that they do not desire. Despite this, minimal research has focused on negation within text-guided image editing. This lack of research means that…

计算机视觉与模式识别 · 计算机科学 2025-04-08 Nhat-Tan Bui , Dinh-Hieu Hoang , Quoc-Huy Trinh , Minh-Triet Tran , Truong Nguyen , Susan Gauch

Language provides speakers with a rich system of modality for expressing thoughts about events, without being committed to their actual occurrence. Modality is commonly used in the political news domain, where both actual and possible…

计算与语言 · 计算机科学 2021-09-21 Sander Bijl de Vroe , Liane Guillou , Miloš Stanojević , Nick McKenna , Mark Steedman

NoCs have become a widespread paradigm in the system-on-chip design world, not only for multi-purpose SoCs, but also for application-specific ICs. The common approach in the NoC design world is to separate the design of the interconnection…

硬件体系结构 · 计算机科学 2013-06-03 Carlo Condo , Amer Baghdadi , Guido Masera

We extend answer set semantics to deal with inconsistent programs (containing classical negation), by finding a ``best'' answer set. Within the context of inconsistent programs, it is natural to have a partial order on rules, representing a…

计算机科学中的逻辑 · 计算机科学 2007-05-23 Davy Van Nieuwenborgh , Dirk Vermeir

In this technical report, we present a formalisation of the MongoDB aggregation framework. Our aim is to identify a fragment that could serve as the starting point for an industry-wide standard for querying JSON document databases. We…

数据库 · 计算机科学 2025-10-16 Elena Botoeva , Julien Corman , Norman Townsend

Negation is a core construction in natural language. Despite being very successful on many tasks, state-of-the-art pre-trained language models often handle negation incorrectly. To improve language models in this regard, we propose to…

计算与语言 · 计算机科学 2021-05-11 Arian Hosseini , Siva Reddy , Dzmitry Bahdanau , R Devon Hjelm , Alessandro Sordoni , Aaron Courville

JSON Schemas provide useful guardrails for developers of Web APIs to guarantee that the semi-structured JSON input provided by clients matches a predefined structure. This is important both to ensure the correctness of the data received as…

数据库 · 计算机科学 2025-03-12 Juan Cruz Viotti , Michael J. Mior

Non-classical negations may fail to be contradictory-forming operators in more than one way, and they often fail also to respect fundamental meta-logical properties such as the replacement property. Such drawbacks are witnessed by intricate…

计算机科学中的逻辑 · 计算机科学 2017-07-26 Ori Lahav , João Marcos , Yoni Zohar

This paper treats logic programming with three kinds of negation: default, weak and strict negations. A 3-valued logic model theory is discussed for logic programs with three kinds of negation. The procedure is constructed for negations so…

计算机科学中的逻辑 · 计算机科学 2007-05-23 Susumu Yamasaki

Non deterministic applications arise in many domains, including, stochastic optimization, multi-objectives optimization, stochastic planning, contingent stochastic planning, reinforcement learning, reinforcement learning in partially…

人工智能 · 计算机科学 2013-04-29 Emad Saad

Explaining why an answer is (or is not) returned by a query is important for many applications including auditing, debugging data and queries, and answering hypothetical questions about data. In this work, we present the first practical…

数据库 · 计算机科学 2018-08-20 Seokki Lee , Bertram Ludaescher , Boris Glavic

In logic programming, negation can be interpreted in various ways. Probably best known is the concept of "negation as failure", where "$\mathit{not}\, p$" is true if we have no evidence for $p$. On the other hand, strong negation requires…

计算机科学中的逻辑 · 计算机科学 2026-05-25 Pascal Kettmann , Hannes Strass , Jesse Heyninck , Jeroen Spaans

Real-world data is typically a noisy manifestation of a core pattern (schema), and the purpose of data mining algorithms is to uncover that pattern, thereby splitting (i.e. decomposing) the data into schema and noise. We introduce SCHENO, a…

数据库 · 计算机科学 2025-02-05 Justus Isaiah Hibshman , Adnan Hoq , Tim Weninger