English
Related papers

Related papers: Greedy Algorithms in Datalog

200 papers

Inverse classification is the process of manipulating an instance such that it is more likely to conform to a specific class. Past methods that address such a problem have shortcomings. Greedy methods make changes that are overly radical,…

Machine Learning · Computer Science 2017-06-12 Michael T. Lash , Qihang Lin , W. Nick Street , Jennifer G. Robinson

This paper focuses on the development of novel greedy techniques for distributed learning under sparsity constraints. Greedy techniques have widely been used in centralized systems due to their low computational requirements and at the same…

Information Theory · Computer Science 2015-06-23 Symeon Chouvardas , Gerasimos Mileounis , Nicholas Kalouptsidis , Sergios Theodoridis

Pairwise comparison labels are more informative and less variable than class labels, but generating them poses a challenge: their number grows quadratically in the dataset size. We study a natural experimental design objective, namely,…

Data Structures and Algorithms · Computer Science 2019-01-21 Yuan Guo , Jennifer Dy , Deniz Erdogmus , Jayashree Kalpathy-Cramer , Susan Ostmo , J. Peter Campbell , Michael F. Chiang , Stratis Ioannidis

As standardly implemented in R or the Tetrad program, causal search algorithms used most widely or effectively by scientists have severe dimensionality constraints that make them inappropriate for big data problems without sacrificing…

Artificial Intelligence · Computer Science 2015-11-13 Joseph D. Ramsey

Process mining offers techniques to exploit event data by providing insights and recommendations to improve business processes. The growing amount of algorithms for process discovery has raised the question of which algorithms perform best…

Software Engineering · Computer Science 2018-06-20 Toon Jouck , Alfredo Bolt , Benoît Depaire , Massimiliano de Leoni , Wil M. P. van der Aalst

We study the problem of selecting a subset of vectors from a large set, to obtain the best signal representation over a family of functions. Although greedy methods have been widely used for tackling this problem and many of those have been…

Signal Processing · Electrical Eng. & Systems 2023-05-16 Ehsan Tohidi , Mario Coutino , David Gesbert

In this paper we develop a procedure to deal with a family of parameter-dependent ill-posed problems, for which the exact solution in general does not exist. The original problems are relaxed by considering corresponding approximate ones,…

Analysis of PDEs · Mathematics 2022-06-29 Martin Lazar , Enrique Zuazua

Recent work on exploration in reinforcement learning (RL) has led to a series of increasingly complex solutions to the problem. This increase in complexity often comes at the expense of generality. Recent empirical studies suggest that,…

Machine Learning · Computer Science 2020-06-03 Will Dabney , Georg Ostrovski , André Barreto

With the technology of the time, Kowalski's seminal 1974 paper {\em Predicate Logic as a Programming Language} was a breakthrough for the use of logic in computer science. It introduced two fundamental ideas: on the declarative side, the…

Logic in Computer Science · Computer Science 2018-03-14 Broes De Cat , Bart Bogaerts , Maurice Bruynooghe , Gerda Janssens , Marc Denecker

Sparse approximation is important in many applications because of concise form of an approximant and good accuracy guarantees. The theory of compressed sensing, which proved to be very useful in the image processing and data sciences, is…

Numerical Analysis · Mathematics 2025-02-20 V. Temlyakov

Several modern applications involve huge graphs and require fast answers to reachability queries. In more than two decades since first proposals, several approaches have been presented adopting on-line searches, hop labelling or transitive…

Data Structures and Algorithms · Computer Science 2016-11-09 Nicolas Boria , Gianpiero Cabodi , Paolo Camurati , Marco Palena , Paolo Pasini , Stefano Quer

Extending programming languages with stochastic behaviour such as probabilistic choices or random sampling has a long tradition in computer science. A recent development in this direction is a declarative probabilistic programming language,…

Databases · Computer Science 2022-06-27 Mario Alviano , Matthias Lanzinger , Michael Morak , Andreas Pieris

A default theory can be characterized by its sets of plausible conclusions, called its extensions. But, due to the theoretical complexity of Default Logic (Sigma_2p-complete), the problem of finding such an extension is very difficult if…

Artificial Intelligence · Computer Science 2007-05-23 P. Nicolas , F. Saubion , I. Stephan

Motivated by old and new applications, we investigate Datalog as a language for sequence databases. We reconsider classical features of Datalog programs, such as negation, recursion, intermediate predicates, and relations of higher arities.…

Databases · Computer Science 2022-06-15 Heba Aamer , Jan Hidders , Jan Paredaens , Jan Van den Bussche

This paper defines a generalized column subset selection problem which is concerned with the selection of a few columns from a source matrix A that best approximate the span of a target matrix B. The paper then proposes a fast greedy…

Data Structures and Algorithms · Computer Science 2013-12-25 Ahmed K. Farahat , Ali Ghodsi , Mohamed S. Kamel

We consider the problem of studying the performance of greedy algorithm on sensor selection problem for stable linear systems with Kalman Filter. Specifically, the objective is to find the system parameters that affects the performance of…

Data Structures and Algorithms · Computer Science 2017-07-10 Jingyuan Liu

We show how to leverage quantum annealers to better select candidates in greedy algorithms. Unlike conventional greedy algorithms that employ problem-specific heuristics for making locally optimal choices at each stage, we use quantum…

Quantum Physics · Physics 2020-02-06 Ramin Ayanzadeh , Milton Halem , John Dorband , Tim Finin

Probabilistic programming is considered as a framework, in which basic components of cognitive architectures can be represented in unified and elegant fashion. At the same time, necessity of adopting some component of cognitive…

Artificial Intelligence · Computer Science 2016-05-05 Alexey Potapov

Existential rules form an expressive Datalog-based language to specify ontological knowledge. The presence of existential quantification in rule-heads, however, makes the main reasoning tasks undecidable. To overcome this limitation, in the…

Computational Complexity · Computer Science 2023-07-25 Georg Gottlob , Marco Manna , Cinzia Marte

In this work, we present a simple, uniform, and elegant solution to the problem, with stunning practical effectiveness and application to virtually any Datalog-based analysis. The approach consists of leveraging the choice construct,…

Software Engineering · Computer Science 2025-03-11 Anastasios Antoniadis , Ilias Tsatiris , Nevill Grech , Yannis Smaragdakis
‹ Prev 1 8 9 10 Next ›