Search Results for author:
Found 5 papers, 1 papers with code
Distilled Gradual Pruning with Pruned Fine-tuning
Neural Networks (NNs) have been driving machine learning progress in recent years, but their larger models present challenges in resource-limited environments.
Ranked #25 on
Image Classification
on CIFAR-10
(Top-1 Accuracy metric)
Counting Solutions to Conjunctive Queries: Structural and Hybrid Tractability
Counting the number of answers to conjunctive queries is a fundamental problem in databases that, under standard assumptions, does not have an efficient solution.
Tree Projections and Constraint Optimization Problems: Fixed-Parameter Tractability and Parallel Algorithms
Solution methods have therefore been proposed in the literature that do not require a tree projection to be given, and that either correctly decide whether the given CSP instance is satisfiable, or return that a tree projection actually does not exist.
Computing the Shapley Value in Allocation Problems: Approximations and Bounds, with an Application to the Italian VQR Research Assessment Program
In allocation problems, a given set of goods are assigned to agents in such a way that the social welfare is maximised, that is, the largest possible global worth is achieved.
The DLV System for Knowledge Representation and Reasoning
As for problem solving, we provide a formal definition of its kernel language, function-free disjunctive logic programs (also known as disjunctive datalog), extended by weak constraints, which are a powerful tool to express optimization problems.
