English
Related papers

Related papers: Tensor Decomposition Meets Knowledge Compilation: …

200 papers

This work studies the problem of high-dimensional data (referred to as tensors) completion from partially observed samplings. We consider that a tensor is a superposition of multiple low-rank components. In particular, each component can be…

Computer Vision and Pattern Recognition · Computer Science 2021-09-22 Chang Nie , Huan Wang , Zhihui Lai

A central task in knowledge compilation is to compile a CNF-SAT instance into a succinct representation format that allows efficient operations such as testing satisfiability, counting, or enumerating all solutions. Useful representation…

Logic in Computer Science · Computer Science 2024-10-07 Christoph Berkholz , Stefan Mengel , Hermann Wilhelm

Trajectory representation learning on a network enhances our understanding of vehicular traffic patterns and benefits numerous downstream applications. Existing approaches using classic machine learning or deep learning embed trajectories…

Machine Learning · Computer Science 2023-12-14 Yuanbo Tang , Zhiyuan Peng , Yang Li

In pattern classification, polynomial classifiers are well-studied methods as they are capable of generating complex decision surfaces. Unfortunately, the use of multivariate polynomials is limited to kernels as in support vector machines,…

Machine Learning · Computer Science 2017-11-07 Zhongming Chen , Kim Batselier , Johan A. K. Suykens , Ngai Wong

Tensor Network (TN) decompositions have emerged as an indispensable tool in Big Data analytics owing to their ability to provide compact low-rank representations, thus alleviating the ``Curse of Dimensionality'' inherent in handling…

Machine Learning · Computer Science 2025-07-15 Wuyang Zhou , Giorgos Iacovides , Kriton Konstantinidis , Ilya Kisil , Danilo Mandic

Computing many useful properties of Boolean formulas, such as their weighted or unweighted model count, is intractable on general representations. It can become tractable when formulas are expressed in a special form, such as the decision…

Logic in Computer Science · Computer Science 2025-01-23 Randal E. Bryant , Wojciech Nawrocki , Jeremy Avigad , Marijn J. H. Heule

Tensor ring (TR) decomposition is a powerful tool for exploiting the low-rank nature of multiway data and has demonstrated great potential in a variety of important applications. In this paper, nonnegative tensor ring (NTR) decomposition…

Computer Vision and Pattern Recognition · Computer Science 2020-10-13 Yuyuan Yu , Guoxu Zhou , Ning Zheng , Shengli Xie , Qibin Zhao

Machine learning and data mining algorithms are becoming increasingly important in analyzing large volume, multi-relational and multi--modal datasets, which are often conveniently represented as multiway arrays or tensors. It is therefore…

Numerical Analysis · Computer Science 2017-09-12 A. Cichocki , N. Lee , I. V. Oseledets , A. -H. Phan , Q. Zhao , D. Mandic

Modern ConvNets continue to achieve state-of-the-art results over a vast array of vision and image classification tasks, but at the cost of increasing parameters. One strategy for compactifying a network without sacrificing much expressive…

Machine Learning · Computer Science 2024-01-09 Tahseen Rabbani , Jiahao Su , Xiaoyu Liu , David Chan , Geoffrey Sangston , Furong Huang

We propose a perspective on knowledge compilation which calls for analyzing different compilation approaches according to two key dimensions: the succinctness of the target compilation language, and the class of queries and transformations…

Artificial Intelligence · Computer Science 2011-06-10 A. Darwiche , P. Marquis

Inspired by the ConvNets with structured hidden representations, we propose a Tensor-based Neural Network, TCNN. Different from ConvNets, TCNNs are composed of structured neurons rather than scalar neurons, and the basic operation is neuron…

Computer Vision and Pattern Recognition · Computer Science 2023-03-31 Zhenhua Chen , David Crandall

Both structured d-DNNF and SDD can be exponentially more succinct than OBDD. Moreover, SDD is essentially as tractable as OBDD. But this has left two important open questions. Firstly, does OBDD support more tractable transformations than…

Artificial Intelligence · Computer Science 2024-02-08 Harry Vinall-Smeeth

Many problems in computational neuroscience, neuroinformatics, pattern/image recognition, signal processing and machine learning generate massive amounts of multidimensional data with multiple aspects and high dimensionality. Tensors (i.e.,…

Emerging Technologies · Computer Science 2014-08-26 Andrzej Cichocki

Learning neural fields has been an active topic in deep learning research, focusing, among other issues, on finding more compact and easy-to-fit representations. In this paper, we introduce a novel low-rank representation termed Tensor…

Machine Learning · Computer Science 2022-10-03 Anton Obukhov , Mikhail Usvyatsov , Christos Sakaridis , Konrad Schindler , Luc Van Gool

Tensor decomposition is a popular technique for tensor completion, However most of the existing methods are based on linear or shallow model, when the data tensor becomes large and the observation data is very small, it is prone to over…

Numerical Analysis · Mathematics 2021-05-21 Qianxi Wu , An-Bao Xu

There is a significant expansion in both volume and range of applications along with the concomitant increase in the variety of data sources. These ever-expanding trends have highlighted the necessity for more versatile analysis tools that…

Numerical Analysis · Mathematics 2021-09-09 Ilya Kisil , Giuseppe G. Calvi , Kriton Konstantinidis , Yao Lei Xu , Danilo P. Mandic

In this study, we present a tensor--train framework for nonintrusive operator inference aimed at learning discrete operators and using them to predict solutions of physical governing equations. Our framework comprises three approaches:…

Numerical Analysis · Mathematics 2025-09-11 Engin Danis , Duc Truong , Kim Ø. Rasmussen§ , Boian S. Alexandrov

Efficient modelling of feature interactions underpins supervised learning for non-sequential tasks, characterized by a lack of inherent ordering of features (variables). The brute force approach of learning a parameter for each interaction…

Machine Learning · Computer Science 2021-03-31 Alexandros Haliassos , Kriton Konstantinidis , Danilo P. Mandic

A classical question of propositional logic is one of the shortest proof of a tautology. A related fundamental problem is to determine the relative efficiency of standard proof systems, where the relative complexity is measured using the…

Logic in Computer Science · Computer Science 2017-03-21 Olga Tveretina

Higher-order data with high dimensionality arise in a diverse set of application areas such as computer vision, video analytics and medical imaging. Tensors provide a natural tool for representing these types of data. Although there has…

Signal Processing · Electrical Eng. & Systems 2020-08-04 Seyyid Emre Sofuoglu , Selin Aviyente