English
Related papers

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

200 papers

This paper presents a new approach for trees-based regression, such as simple regression tree, random forest and gradient boosting, in settings involving correlated data. We show the problems that arise when implementing standard…

Methodology · Statistics 2021-08-09 Assaf Rabinowicz , Saharon Rosset

Between the leaves and the nodes of a complete binary tree, a separate parent-child-sister hierarchy is employed independent of the parent-child-sister hierarchy used for the rest of the tree. Two different versions of such a local…

Data Structures and Algorithms · Computer Science 2014-01-31 Mevlut Bulut

This paper reduces discontinuous parsing to sequence labeling. It first shows that existing reductions for constituent parsing as labeling do not support discontinuities. Second, it fills this gap and proposes to encode tree discontinuities…

Computation and Language · Computer Science 2020-10-05 David Vilares , Carlos Gómez-Rodríguez

Based on decision trees, many fields have arguably made tremendous progress in recent years. In simple words, decision trees use the strategy of "divide-and-conquer" to divide the complex problem on the dependency between input features and…

Machine Learning · Computer Science 2021-01-22 Jinxiong Zhang

In this paper we describe an extension of the Variable Neighbourhood Search (VNS) which integrates the basic VNS with other complementary approaches from machine learning, statistics and experimental algorithmic, in order to produce…

Artificial Intelligence · Computer Science 2015-09-30 Sergio Consoli , Josè Andrès Moreno Pèrez

Scene graphs are semantic abstraction of images that encourage visual understanding and reasoning. However, the performance of Scene Graph Generation (SGG) is unsatisfactory when faced with biased data in real-world scenarios. Conventional…

Computer Vision and Pattern Recognition · Computer Science 2021-06-09 Jing Yu , Yuan Chai , Yujing Wang , Yue Hu , Qi Wu

Since the fully convolutional network has achieved great success in semantic segmentation, lots of works have been proposed focusing on extracting discriminative pixel feature representations. However, we observe that existing methods still…

Computer Vision and Pattern Recognition · Computer Science 2023-01-13 Dongyue Wu , Zilin Guo , Aoyan Li , Changqian Yu , Changxin Gao , Nong Sang

We present the first formal verification of a networked server implemented in C. Interaction trees, a general structure for representing reactive computations, are used to tie together disparate verification and testing tools (Coq, VST, and…

Programming Languages · Computer Science 2021-02-02 Nicolas Koh , Yao Li , Yishuai Li , Li-yao Xia , Lennart Beringer , Wolf Honoré , William Mansky , Benjamin C. Pierce , Steve Zdancewic

In this paper we introduce a novel family of semantics called weakly complete semantics. Differently from Dung's complete semantics, weakly complete semantics employs a mechanism called undecidedness blocking by which the label undecided of…

Logic in Computer Science · Computer Science 2021-03-22 Pierpaolo Dondio , Luca Longo

We propose a novel dependency-based hybrid tree model for semantic parsing, which converts natural language utterance into machine interpretable meaning representations. Unlike previous state-of-the-art models, the semantic information is…

Computation and Language · Computer Science 2018-09-05 Zhanming Jie , Wei Lu

Recent breakthrough results in compressed sensing (CS) have established that many high dimensional objects can be accurately recovered from a relatively small number of non- adaptive linear projection observations, provided that the objects…

Machine Learning · Statistics 2011-11-30 Akshay Soni , Jarvis Haupt

Gradual semantics with abstract argumentation provide each argument with a score reflecting its acceptability, i.e. how "much" it is attacked by other arguments. Many different gradual semantics have been proposed in the literature, each…

Artificial Intelligence · Computer Science 2022-02-02 Nir Oren , Bruno Yun , Srdjan Vesic , Murilo Baptista

Unsupervised domain adaptation without consuming annotation process for unlabeled target data attracts appealing interests in semantic segmentation. However, 1) existing methods neglect that not all semantic representations across domains…

Computer Vision and Pattern Recognition · Computer Science 2020-08-25 Jiahua Dong , Yang Cong , Gan Sun , Yuyang Liu , Xiaowei Xu

This paper contains a classification of countable lower 1-transitive linear orders. The notion of lower 1-transitivity generalises that of 1-transitivity for linear orders, and is essential for the structure theory of 1-transitive trees.…

Combinatorics · Mathematics 2015-10-22 Silvia Barbina , Katie Chicot

We consider a discrete-time dynamical process on graphs, firstly introduced in connection with a protocol for controlling large networks of spin 1/2 quantum mechanical particles [Phys. Rev. Lett. 99, 100501 (2007)]. A description is as…

Combinatorics · Mathematics 2013-09-17 Simone Severini

In this paper we give a complete characterization of the statistical equivalence classes of CEGs and of staged trees. We are able to show that all graphical representations of the same model share a common polynomial description. Then,…

Statistics Theory · Mathematics 2017-05-29 Christiane Görgen , Jim Q. Smith

Weakly-supervised semantic segmentation (WSSS) with image-level labels has been widely studied to relieve the annotation burden of the traditional segmentation task. In this paper, we show that existing fully-annotated base categories can…

Computer Vision and Pattern Recognition · Computer Science 2022-10-18 Siyuan Zhou , Li Niu , Jianlou Si , Chen Qian , Liqing Zhang

Staged trees are probabilistic graphical models capable of representing any class of non-symmetric independence via a coloring of its vertices. Several structural learning routines have been defined and implemented to learn staged trees…

Machine Learning · Statistics 2024-05-29 Jack Storror Carter , Manuele Leonelli , Eva Riccomagno , Gherardo Varando

We propose a method for the classification of objects that are structured as random trees. Our aim is to model a distribution over the node label assignments in settings where the tree data structure is associated with node attributes…

Machine Learning · Computer Science 2024-09-18 Wouter W. L. Nuijten , Vlado Menkovski

Action classification in still images has been a popular research topic in computer vision. Labelling large scale datasets for action classification requires tremendous manual work, which is hard to scale up. Besides, the action categories…

Computer Vision and Pattern Recognition · Computer Science 2016-09-09 Jiyang Gao , Ram Nevatia