English
Related papers

Related papers: A symbolic-arithmetic for teaching double-black no…

200 papers

Denoising of clinical CT images is an active area for deep learning research. Current clinically approved methods use iterative reconstruction methods to reduce the noise in CT images. Iterative reconstruction techniques require multiple…

Image and Video Processing · Electrical Eng. & Systems 2020-07-10 Mayank Patwari , Ralf Gutjahr , Rainer Raupach , Andreas Maier

This paper studies the relation between node deletion and algebraic connectivity for graphs with a hierarchical structure represented by layers. To capture this structure, the concepts of layered path graph and its (sub)graph cone are…

Systems and Control · Electrical Eng. & Systems 2022-12-21 Ryusei Yoshise , Kaoru Yamamoto

When trained with severely imbalanced data, deep neural networks often struggle to accurately recognize classes with only a few samples. Previous studies in long-tailed recognition have attempted to rebalance biased learning using known…

Computer Vision and Pattern Recognition · Computer Science 2024-12-23 Minseok Son , Inyong Koo , Jinyoung Park , Changick Kim

Coloring is a notoriously hard problem, and even more so in the online setting, where each arriving vertex has to be colored immediately and irrevocably. Already on trees, which are trivially two-colorable, it is impossible to achieve…

Data Structures and Algorithms · Computer Science 2024-05-29 Fabian Frei , Matthias Gehnen , Dennis Komm , Rastislav Královič , Richard Královič , Peter Rossmanith , Moritz Stocker

We describe an algorithm for comparing two RNA secondary structures coded in the form of trees that introduces two new operations, called node fusion and edge fusion, besides the tree edit operations of deletion, insertion, and relabeling…

Data Structures and Algorithms · Computer Science 2008-10-23 Julien Allali , Marie-France Sagot

LiDAR is widely used to capture accurate 3D outdoor scene structures. However, LiDAR produces many undesirable noise points in snowy weather, which hamper analyzing meaningful 3D scene structures. Semantic segmentation with snow labels…

Computer Vision and Pattern Recognition · Computer Science 2022-08-09 Gwangtak Bae , Byungjun Kim , Seongyong Ahn , Jihong Min , Inwook Shim

In this study, we consider classification problems based on neural networks in data-imbalanced environment. Learning from an imbalanced data set is one of the most important and practical problems in the field of machine learning. A…

Machine Learning · Statistics 2019-12-02 Muneki Yasuda , Seishirou Ueno

There is a wide gap between symbolic reasoning and deep learning. In this research, we explore the possibility of using deep learning to improve symbolic reasoning. Briefly, in a reasoning system, a deep feedforward neural network is used…

Artificial Intelligence · Computer Science 2018-09-13 Cheng-Hao Cai , Dengfeng Ke , Yanyan Xu , Kaile Su

Unsupervised anomaly detection methods are at the forefront of industrial anomaly detection efforts and have made notable progress. Previous work primarily used 2D information as input, but multi-modal industrial anomaly detection based on…

Computer Vision and Pattern Recognition · Computer Science 2023-11-14 Chenyang Bi , Yueyang Li , Haichi Luo

Reciprocal best match graphs (RBMGs) are vertex colored graphs whose vertices represent genes and the colors the species where the genes reside. Edges identify pairs of genes that are most closely related with respect to an underlying…

Computational Complexity · Computer Science 2019-07-23 Marc Hellmuth , Manuela Geiß , Peter F. Stadler

Balliu et al. (DISC 2020) classified the hardness of solving binary labeling problems with distributed graph algorithms; in these problems the task is to select a subset of edges in a $2$-colored tree in which white nodes of degree $d$ and…

Distributed, Parallel, and Cluster Computing · Computer Science 2023-12-20 Henrik Lievonen , Timothé Picavet , Jukka Suomela

Given a set R of red points and a set B of blue points in the plane, the Red-Blue point separation problem asks if there are at most k lines that separate R from B, that is, each cell induced by the lines of the solution is either empty or…

Data Structures and Algorithms · Computer Science 2020-05-14 Neeldhara Misra , Harshil Mittal , Aditi Sethia

Deep learning techniques involving image processing and data analysis are constantly evolving. Many domains adapt these techniques for object segmentation, instantiation and classification. Recently, agricultural industries adopted those…

Computer Vision and Pattern Recognition · Computer Science 2019-03-21 Dmitry Kuznichov , Alon Zvirin , Yaron Honen , Ron Kimmel

Model order reduction algorithms for large-scale descriptor systems are proposed using balanced truncation, in which symmetry or block skew symmetry (reciprocity) and the positive realness of the original transfer matrix are preserved. Two…

Numerical Analysis · Computer Science 2018-11-13 Yuichi Tanji

Benders decomposition (BD) is a widely used solution approach for solving two-stage stochastic programs arising in real-world decision-making under uncertainty. However, it often suffers from slow convergence as the master problem grows…

Optimization and Control · Mathematics 2026-05-08 Haochen Cai , Xian Yu

A bilateralist take on proof-theoretic semantics can be understood as demanding of a proof system to display not only rules giving the connectives' provability conditions but also their refutability conditions. On such a view, then, a…

Logic in Computer Science · Computer Science 2025-10-17 Sara Ayhan

Noisy labels can negatively impact the performance of deep neural networks. One common solution is label refurbishment, which involves reconstructing noisy labels through predictions and distributions. However, these methods may introduce…

Computer Vision and Pattern Recognition · Computer Science 2025-03-31 Wenxiao Fan , Kan Li

For a fixed property (graph class) ${\Pi}$, given a graph G and an integer k, the ${\Pi}$-deletion problem consists in deciding if we can turn $G$ into a graph with the property ${\Pi}$ by deleting at most $k$ edges. The ${\Pi}$-deletion…

Discrete Mathematics · Computer Science 2023-07-14 Ivo Koch , Nina Pardal , Vinicius Fernandes dos Santos

Deep learning models suffer from catastrophic forgetting when learning new tasks incrementally. Incremental learning has been proposed to retain the knowledge of old classes while learning to identify new classes. A typical approach is to…

Computer Vision and Pattern Recognition · Computer Science 2022-07-14 Huitong Chen , Yu Wang , Qinghua Hu

Solving arithmetic word problems is a cornerstone task in assessing language understanding and reasoning capabilities in NLP systems. Recent works use automatic extraction and ranking of candidate solution equations providing the answer to…

Computation and Language · Computer Science 2021-03-10 Klim Zaporojets , Giannis Bekoulis , Johannes Deleu , Thomas Demeester , Chris Develder