English
Related papers

Related papers: A Fully Abstract Semantics for Value-passing CCS f…

200 papers

How much do worker skills, firm pay policies, and their interaction contribute to wage inequality? Standard approaches rely on latent fixed effects identified through worker mobility, but sparse networks inflate variance estimates,…

General Economics · Economics 2026-01-05 Aslan Bakirov , Francesco Del Prato , Paolo Zacchia

Rich and accurate medical image segmentation is poised to underpin the next generation of AI-defined clinical practice by delineating critical anatomy for pre-operative planning, guiding real-time intra-operative navigation, and supporting…

Computer Vision and Pattern Recognition · Computer Science 2026-05-22 Junwen Wang , Oscar MacCormac , William Rochford , Aaron Kujawa , Jonathan Shapey , Tom Vercauteren

Count-based distributional semantic models suffer from sparsity due to unobserved but plausible co-occurrences in any text collection. This problem is amplified for models like Anchored Packed Trees (APTs), that take the grammatical type of…

Computation and Language · Computer Science 2017-04-25 Thomas Kober , Julie Weeds , Jeremy Reffin , David Weir

Unpaired cross-lingual image captioning has long suffered from irrelevancy and disfluency issues, due to the inconsistencies of the semantic scene and syntax attributes during transfer. In this work, we propose to address the above problems…

Computer Vision and Pattern Recognition · Computer Science 2023-05-26 Shengqiong Wu , Hao Fei , Wei Ji , Tat-Seng Chua

We study the class of quasi-alphabetic relations, i.e., tree transformations defined by tree bimorphisms with two quasi-alphabetic tree homomorphisms and a regular tree language. We present a canonical representation of these relations; as…

Computation and Language · Computer Science 2010-05-13 Andreas Maletti , Catalin Ionut Tirnauca

Due to the works of S. Bozapalidis and A. Alexandrakis, there is a well-known characterization of recognizable weighted tree languages over fields in terms of finite-dimensionality of syntactic vector spaces. Here we prove a…

Formal Languages and Automata Theory · Computer Science 2025-09-19 Zoltán Fülöp , Heiko Vogler

We propose a tree-based algorithm for classification and regression problems in the context of functional data analysis, which allows to leverage representation learning and multiple splitting rules at the node level, reducing…

Machine Learning · Statistics 2020-11-03 Edoardo Belli , Simone Vantini

The recently introduced graph parameter tree-cut width plays a similar role with respect to immersions as the graph parameter treewidth plays with respect to minors. In this paper, we provide the first algorithmic applications of tree-cut…

Data Structures and Algorithms · Computer Science 2022-06-03 Robert Ganian , Eun Jung Kim , Stefan Szeider

We give a domain-theoretic semantics to a statistical programming language, using the plain old category of dcpos, in contrast to some more sophisticated recent proposals. Remarkably, our monad of minimal valuations is commutative, which…

Logic in Computer Science · Computer Science 2021-09-14 Jean Goubault-Larrecq , Xiaodong Jia , Clément Théron

We design a theoretic tree-based functional representation of a class of Feynman-Kac particle distributions, including an extension of the Wick product formula to interacting particle systems. These weak expansions rely on an original…

Probability · Mathematics 2016-08-16 Pierre Del Moral , Frédéric Patras , Sylvain Rubenthaler

The task of completing knowledge triplets has broad downstream applications. Both structural and semantic information plays an important role in knowledge graph completion. Unlike previous approaches that rely on either the structures or…

Computation and Language · Computer Science 2022-09-20 Jianhao Shen , Chenguang Wang , Linyuan Gong , Dawn Song

The Sheaf-Theoretic Contextuality (STC) theory developed by Abramsky and colleagues is a very general account of whether multiply overlapping subsets of a set, each of which is endowed with certain "local'" structure, can be viewed as…

Quantum Physics · Physics 2023-04-11 Ehtibar N. Dzhafarov

We present an integrated approach for structure and parameter estimation in latent tree graphical models. Our overall approach follows a "divide-and-conquer" strategy that learns models over small groups of variables and iteratively merges…

Machine Learning · Computer Science 2019-12-19 Furong Huang , Niranjan U. N. , Ioakeim Perros , Robert Chen , Jimeng Sun , Anima Anandkumar

This paper investigates the integration of gradient boosted decision trees and varying coefficient models. We introduce the tree boosted varying coefficient framework which justifies the implementation of decision tree boosting as the…

Methodology · Statistics 2019-04-03 Yichen Zhou , Giles Hooker

Conversational recommender systems (CRSs) often utilize external knowledge graphs (KGs) to introduce rich semantic information and recommend relevant items through natural language dialogues. However, original KGs employed in existing CRSs…

Artificial Intelligence · Computer Science 2022-12-26 Xiaoyu Zhang , Xin Xin , Dongdong Li , Wenxuan Liu , Pengjie Ren , Zhumin Chen , Jun Ma , Zhaochun Ren

Latent tree learning(LTL) methods learn to parse sentences using only indirect supervision from a downstream task. Recent advances in latent tree learning have made it possible to recover moderately high quality tree structures by training…

Computation and Language · Computer Science 2019-09-24 Phu Mon Htut , Kyunghyun Cho , Samuel R. Bowman

Over the past years, distributed semantic representations have proved to be effective and flexible keepers of prior knowledge to be integrated into downstream applications. This survey focuses on the representation of meaning. We start from…

Computation and Language · Computer Science 2018-10-29 Jose Camacho-Collados , Mohammad Taher Pilehvar

In this paper we investigate the equational theory of (the restriction, relabelling, and recursion free fragment of) CCS modulo rooted branching bisimilarity, which is a classic, bisimulation-based notion of equivalence that abstracts from…

Logic in Computer Science · Computer Science 2022-06-29 Luca Aceto , Valentina Castiglioni , Anna Ingolfsdottir , Bas Luttik

We report an extension of a Keras Model, called CTCModel, to perform the Connectionist Temporal Classification (CTC) in a transparent way. Combined with Recurrent Neural Networks, the Connectionist Temporal Classification is the reference…

Machine Learning · Computer Science 2019-01-24 Yann Soullard , Cyprien Ruffino , Thierry Paquet

We present novel semiring semantics for abstract reduction systems (ARSs). More precisely, we provide a weighted version of ARSs, where the reduction steps induce weights from a semiring. Inspired by provenance analysis in database theory…

Logic in Computer Science · Computer Science 2025-05-14 Emma Ahrens , Jan-Christoph Kassing , Jürgen Giesl , Joost-Pieter Katoen
‹ Prev 1 8 9 10 Next ›