English
Related papers

Related papers: Hierarchical similarity-based approximate reasonin…

200 papers

Finite (word) state transducers extend finite state automata by defining a binary relation over finite words, called rational relation. If the rational relation is the graph of a function, this function is said to be rational. The class of…

Formal Languages and Automata Theory · Computer Science 2025-04-25 Emmanuel Filiot , Ismaël Jecker , Khushraj Madnani , Saina Sunny

This paper introduces a novel real-time Fuzzy Supervised Learning with Binary Meta-Feature (FSL-BM) for big data classification task. The study of real-time algorithms addresses several major concerns, which are namely: accuracy, memory…

Machine Learning · Computer Science 2020-12-09 Kamran Kowsari , Nima Bari , Roman Vichr , Farhad A. Goodarzi

We introduce a lazy approach to the explanation-based approximation of probabilistic logic programs. It uses only the most significant part of the program when searching for explanations. The result is a fast and anytime approximate…

Artificial Intelligence · Computer Science 2015-07-13 Joris Renkens , Angelika Kimmig , Luc De Raedt

We present two approaches for computing rational approximations to multivariate functions, motivated by their effectiveness as surrogate models for high-energy physics (HEP) applications. Our first approach builds on the Stieltjes process…

Numerical Analysis · Mathematics 2021-03-12 Anthony P. Austin , Mohan Krishnamoorthy , Sven Leyffer , Stephen Mrenna , Juliane Muller , Holger Schulz

When using reinforcement learning (RL) algorithms it is common, given a large state space, to introduce some form of approximation architecture for the value function (VF). The exact form of this architecture can have a significant effect…

Machine Learning · Computer Science 2019-02-19 Edward Barker , Charl Ras

Incremental few-shot semantic segmentation (IFSS) aims to incrementally extend a semantic segmentation model to novel classes according to only a few pixel-level annotated data, while preserving its segmentation capability on previously…

Computer Vision and Pattern Recognition · Computer Science 2023-05-19 Yuan Zhou , Xin Chen , Yanrong Guo , Shijie Hao , Richang Hong , Qi Tian

Kernel methods are widespread in machine learning; however, they are limited by the quadratic complexity of the construction, application, and storage of kernel matrices. Low-rank matrix approximation algorithms are widely used to address…

Machine Learning · Statistics 2021-05-05 Ruoxi Wang , Yingzhou Li , Michael W. Mahoney , Eric Darve

The paper considers various formalisms based on Automata, Temporal Logic and Regular Expressions for specifying queries over sequences. Unlike traditional binary semantics, the paper presents a similarity based semantics for thse…

Logic in Computer Science · Computer Science 2007-05-23 A. Prasad Sistla

This paper proposes two kinds of fuzzy abductive inference in the framework of fuzzy rule base. The abductive inference processes described here depend on the semantic of the rule. We distinguish two classes of interpretation of a fuzzy…

Artificial Intelligence · Computer Science 2007-05-23 Nedra Mellouli , Bernadette Bouchon-Meunier

Selman and Kautz's work on ``knowledge compilation'' established how approximation (strengthening and/or weakening) of a propositional knowledge-base can be used to speed up query processing, at the expense of completeness. In this…

Logic in Computer Science · Computer Science 2016-08-14 Kevin Henshall , Peter Schachte , Harald Søndergaard , Leigh Whiting

Retrieval-augmented generation (RAG) ranks passages by semantic similarity to the input, implicitly assuming that semantic similarity is a reliable indication of applicability in downstream tasks. This assumption breaks down when task…

Information Retrieval · Computer Science 2026-05-28 Zhixing Sun , Shenghe Xu , Tao Li

Sparse representation with training-based dictionary has been shown successful on super resolution(SR) but still have some limitations. Based on the idea of making the magnification of function curve without losing its fidelity, we proposed…

Computer Vision and Pattern Recognition · Computer Science 2019-06-12 Junyi Bian , Baojun Lin , Ke Zhang

In supervised learning using kernel methods, we often encounter a large-scale finite-sum minimization over a reproducing kernel Hilbert space (RKHS). Large-scale finite-sum problems can be solved using efficient variants of Newton method,…

Machine Learning · Computer Science 2022-06-07 Ting-Jui Chang , Shahin Shahrampour

In this work we propose a formal system for fuzzy algebraic reasoning. The sequent calculus we define is based on two kinds of propositions, capturing equality and existence of terms as members of a fuzzy set. We provide a sound semantics…

Logic in Computer Science · Computer Science 2021-10-22 Davide Castelnovo , Marino Miculan

In this study, we introduce the Fuzzy Additive Model (FAM) and FAM with Explainability (FAME) as a solution for Explainable Artificial Intelligence (XAI). The family consists of three layers: (1) a Projection Layer that compresses the input…

Machine Learning · Computer Science 2025-04-10 Omer Bahadir Gokmen , Yusuf Guven , Tufan Kumbasar

Much recent work has been devoted to approximate nearest neighbor queries. Motivated by applications in recommender systems, we consider approximate furthest neighbor (AFN) queries and present a simple, fast, and highly practical data…

Data Structures and Algorithms · Computer Science 2016-11-23 Rasmus Pagh , Francesco Silvestri , Johan Sivertsen , Matthew Skala

Fuzzy logic programming is an established approach for reasoning under uncertainty. Several semantics from classical, two-valued logic programming have been generalized to the case of fuzzy logic programs. In this paper, we show that two of…

Logic in Computer Science · Computer Science 2025-07-17 Pascal Kettmann , Jesse Heyninck , Hannes Strass

In our recent paper we have established close relationships between state reduction of a fuzzy recognizer and resolution of a particular system of fuzzy relation equations. In that paper we have also studied reductions by means of those…

Formal Languages and Automata Theory · Computer Science 2011-03-01 Aleksandar Stamenković , Miroslav Ćirić , Jelena Ignjatović

Given the effectiveness and ease of use, Item-based Collaborative Filtering (ICF) methods have been broadly used in industry in recent years. The key of ICF lies in the similarity measurement between items, which however is a coarse-grained…

Information Retrieval · Computer Science 2019-11-12 Liang Zhang , Guannan Liu , Junjie Wu

Many real-world tasks such as recommending videos with the kids tag can be reduced to finding most similar vectors associated with hard predicates. This task, filtered vector search, is challenging as prior state-of-the-art graph-based…

Databases · Computer Science 2025-07-22 Zhaoheng Li , Silu Huang , Wei Ding , Yongjoo Park , Jianjun Chen
‹ Prev 1 4 5 6 7 8 10 Next ›