English
Related papers

Related papers: A Partial-Order Approach to Array Content Analysis

200 papers

The theory of fractional calculus in the complex plane was not built with a specific application in mind. The main obstacle to application was the difficulty with obtaining analytic continuations of fractional derivatives and integrals. It…

Classical Analysis and ODEs · Mathematics 2015-10-01 V. P. Gurarii

Paragraph Vectors has been recently proposed as an unsupervised method for learning distributed representations for pieces of texts. In their work, the authors showed that the method can learn an embedding of movie review texts which can be…

Computation and Language · Computer Science 2015-07-30 Andrew M. Dai , Christopher Olah , Quoc V. Le

This paper is devoted to the study of semigroups of composition operators and semigroups of holomorphic mappings. We establish conditions under which these semigroups can be extended in their parameter to sector given a priori. We show that…

Complex Variables · Mathematics 2015-11-17 Mark Elin , Fiana Jacobzon

We present a novel, yet rather simple construction within the traditional framework of Scott domains to provide semantics to probabilistic programming, thus obtaining a solution to a long-standing open problem in this area. Unlike current…

Programming Languages · Computer Science 2025-01-28 Pietro Di Gianantonio , Abbas Edalat

Modern models for text generation show state-of-the-art results in many natural language processing tasks. In this work, we explore the effectiveness of abstractive text summarization models for keyphrase selection. A list of keyphrases is…

Computation and Language · Computer Science 2024-10-23 Anna Glazkova , Dmitry Morozov

State-of-the-art parametric and non-parametric style transfer approaches are prone to either distorted local style patterns due to global statistics alignment, or unpleasing artifacts resulting from patch mismatching. In this paper, we…

Computer Vision and Pattern Recognition · Computer Science 2023-02-14 Yongcheng Jing , Yining Mao , Yiding Yang , Yibing Zhan , Mingli Song , Xinchao Wang , Dacheng Tao

This paper establishes a conjecture of Gustafsson and Khavinson, which relates the analytic content of a smoothly bounded domain in $\mathbb{R}^{N}$ to the classical isoperimetric inequality. The proof is based on a novel combination of…

Classical Analysis and ODEs · Mathematics 2018-08-21 Stephen J. Gardiner , Marius Ghergu , Tomas Sjödin

We propose a novel approach for modeling semantic contextual relationships in videos. This graph-based model enables the learning and propagation of higher-level spatial-temporal contexts to facilitate the semantic labeling of local…

Computer Vision and Pattern Recognition · Computer Science 2024-07-09 Tinghuai Wang , Huiling Wang

We consider the problem of modeling the content structure of texts within a specific domain, in terms of the topics the texts address and the order in which these topics appear. We first present an effective knowledge-lean method for…

Computation and Language · Computer Science 2007-05-23 Regina Barzilay , Lillian Lee

Domain generalisation aims to promote the learning of domain-invariant features while suppressing domain-specific features, so that a model can generalise better to previously unseen target domains. An approach to domain generalisation for…

Computer Vision and Pattern Recognition · Computer Science 2024-06-18 Karthik Seemakurthy , Erchan Aptoula , Charles Fox , Petra Bosilj

Most existing graph-based semi-supervised hyperspectral image classification methods rely on superpixel partitioning techniques. However, they suffer from misclassification of certain pixels due to inaccuracies in superpixel boundaries,…

Computer Vision and Pattern Recognition · Computer Science 2025-03-21 Yuqing Zhang , Qi Han , Ligeng Wang , Kai Cheng , Bo Wang , Kun Zhan

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…

Artificial Intelligence · Computer Science 2013-08-06 Matthias Thimm , Gabriele Kern-Isberner

The paper proves the equivalence of the notions of nondeterministic and deterministic parameter testing for uniform dense hypergraphs of arbitrary order. It generalizes the result previously known only for the case of simple graphs. By a…

Data Structures and Algorithms · Computer Science 2015-03-25 Marek Karpinski , Roland Markó

Abstractive summarization models typically learn to capture the salient information from scratch implicitly. Recent literature adds extractive summaries as guidance for abstractive summarization models to provide hints of salient content…

Computation and Language · Computer Science 2022-10-25 Fei Wang , Kaiqiang Song , Hongming Zhang , Lifeng Jin , Sangwoo Cho , Wenlin Yao , Xiaoyang Wang , Muhao Chen , Dong Yu

We launch Parf - a toolkit for adaptively tuning abstraction strategies of static program analyzers in a fully automated manner. Parf models various types of external parameters (encoding abstraction strategies) as random variables subject…

Software Engineering · Computer Science 2025-10-17 Zhongyi Wang , Mingshuai Chen , Tengjie Lin , Linyu Yang , Junhao Zhuo , Qiuye Wang , Shengchao Qin , Xiao Yi , Jianwei Yin

The concept of relative sectional category expands upon classical sectional category theory by incorporating the pullback of a fibration along a map. Our paper aims not only to explore this extension but also to thoroughly investigate its…

Algebraic Topology · Mathematics 2024-05-31 Jose Manuel Garcia Calcines

Gradual semantics (GS) have demonstrated great potential in argumentation, in particular for deploying quantitative bipolar argumentation frameworks (QBAFs) in a number of real-world settings, from judgmental forecasting to explainable AI.…

Artificial Intelligence · Computer Science 2025-08-12 Antonio Rago , Stylianos Loukas Vasileiou , Francesca Toni , Tran Cao Son , William Yeoh

In this partly expository paper we discuss and describe some of our old and recent results on partial orders on the set (m,n)-graphs (i.e. graphs with n vertices and m edges) and some operations on graphs that are monotone with respect to…

Combinatorics · Mathematics 2013-12-24 Alexander Kelmans

Search space is a key consideration for neural architecture search. Recently, Xie et al. (2019) found that randomly generated networks from the same distribution perform similarly, which suggests we should search for random graph…

Machine Learning · Computer Science 2020-01-01 Xin Zhou , Dejing Dou , Boyang Li

We present a package to perform partial fraction decompositions of multivariate rational functions. The algorithm allows to systematically avoid spurious denominator factors and is capable of producing unique results also when being applied…

Symbolic Computation · Computer Science 2022-01-05 Matthias Heller , Andreas von Manteuffel