Fabio Biselli

Publication Activity (10 Years)

Years Active: 2015-2022
Publications (10 Years): 4

Top Topics

Selection Algorithm

Feature Selection

Simulated Annealing

Experimental Evaluation

Top Venues

Constraints An Int. J.

Publications

Roberto Bagnara, Abramo Bagnara, Fabio Biselli, Michele Chiari, Roberta Gori
Correct approximation of IEEE 754 floating-point arithmetic for program verification. Constraints An Int. J. 27 (1-2) (2022)
Roberto Bagnara, Abramo Bagnara, Fabio Biselli, Michele Chiari, Roberta Gori
Correct Approximation of IEEE 754 Floating-Point Arithmetic for Program Verification. CoRR (2019)
Roberto Amadini, Fabio Biselli, Maurizio Gabbrielli, Tong Liu, Jacopo Mauro
Feature Selection for SUNNY: A Study on the Algorithm Selection Library. ICTAI (2015)
Roberto Amadini, Fabio Biselli, Maurizio Gabbrielli, Tong Liu, Jacopo Mauro
SUNNY for algorithm selection: a preliminary study. CILC (2015)