1 code implementation • 16 Jan 2023 • Stefano Pio Zingaro, Giuseppe Lisanti, Maurizio Gabbrielli
In this paper, we propose to exploit the side-tuning framework for multimodal document classification.
Ranked #4 on Document Image Classification on Tobacco-3482
no code implementations • 17 Feb 2022 • Roberto Amadini, Maurizio Gabbrielli, Tong Liu, Jacopo Mauro
Meta-solver approaches exploits a number of individual solvers to potentially build a better solver.
no code implementations • 21 Jan 2021 • Francesca Del Bonifro, Maurizio Gabbrielli, Stefano Zacchiroli
Doing so is helpful to classify source code that lack file extensions (e. g., code snippets posted on the Web or executable scripts), to avoid misclassifying source code that has been recorded with wrong or uncommon file extensions, and also shed some light on the intrinsic recognizability of source code files.
1 code implementation • 7 Sep 2020 • Tong Liu, Roberto Amadini, Jacopo Mauro, Maurizio Gabbrielli
A preliminary version of sunny-as2 was submitted to the Open Algorithm Selection Challenge (OASC) in 2017, where it turned out to be the best approach for the runtime minimization of decision problems.
no code implementations • 26 Jun 2017 • Roberto Amadini, Maurizio Gabbrielli, Jacopo Mauro
In Constraint Programming (CP) a portfolio solver combines a variety of different constraint solvers for solving a given problem.
1 code implementation • 13 Feb 2015 • Roberto Amadini, Maurizio Gabbrielli, Jacopo Mauro
*** To appear in IJCAI 2015 proceedings *** In Constraint Programming (CP), a portfolio solver uses a variety of different solvers for solving a given Constraint Satisfaction / Optimization Problem.
no code implementations • 24 Feb 2014 • Stefano Bistarelli, Maurizio Gabbrielli, Maria Chiara Meo, Francesco Santini
In the paper we provide a language to describe the agents behavior, together with its operational and denotational semantics, for which we also prove the compositionality and correctness properties.
no code implementations • 14 Nov 2013 • Roberto Amadini, Maurizio Gabbrielli, Jacopo Mauro
In this paper we present SUNNY: a simple and flexible algorithm that takes advantage of a portfolio of constraint solvers in order to compute --- without learning an explicit model --- a schedule of them for solving a given Constraint Satisfaction Problem (CSP).
no code implementations • 1 Aug 2013 • Roberto Amadini, Maurizio Gabbrielli, Jacopo Mauro
Recent research has shown that a single arbitrarily efficient solver can be significantly outperformed by a portfolio of possibly slower on-average solvers.
no code implementations • 4 Dec 2012 • Roberto Amadini, Maurizio Gabbrielli, Jacopo Mauro
Recent research in areas such as SAT solving and Integer Linear Programming has shown that the performances of a single arbitrarily efficient solver can be significantly outperformed by a portfolio of possibly slower on-average solvers.