Zobrazeno 1 - 2
of 2
pro vyhledávání: '"Fabio Biselli"'
Verification of programs using floating-point arithmetic is challenging on several accounts. One of the difficulties of reasoning about such programs is due to the peculiarities of floating-point arithmetic: rounding errors, infinities, non-numeric o
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::d69dcc6e779bdbc68d98a07c7da4c96c
Publikováno v:
2015 IEEE 27th International Conference on Tools with Artificial Intelligence (ICTAI)
ICTAI
ICTAI, Nov 2015, Vietri sul Mare, Italy
ICTAI
ICTAI, Nov 2015, Vietri sul Mare, Italy
International audience; Given a collection of algorithms, the Algorithm Selection (AS) problem consists in identifying which of them is the best one for solving a given problem. The selection depends on a set of numerical features that characterize t
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::48a2d4ba92c3844fc781bbfbe67153ef
