Within the context of constraint solving, a portfolio approach allows one to exploit the synergy between different solvers in order to create a globally better solver. 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 Sa...

<p>Nowadays, many pedestrians are injured or killed in traffic accidents. As a result, several artificial vision solutions based on pedestrian detection have been developed to assist drivers and reduce the number of Most techniques work well sunny days provide accurate data. However, decreases dramatically rainy conditions. In this paper, new system (PDS) generative adversarial network (G...

BACKGROUND Air pollution and weather are just two of many environmental factors contributing to traffic accidents (RTA). OBJECTIVES This study assessed the effects of these factors on traffic accidents and related mortalities in Ahvaz, Iran. METHODS In this ecological study, data about RTA, traffic-related mortalities, air pollution (including NO, CO, NO2, NOx PM10, SO2, and O3 rates) and c...

Recognition and matching of litchi fruits are critical steps for litchi harvesting robots to successfully grasp litchi. However, due to the randomness of litchi growth, such as clustered growth with uncertain number of fruits and random occlusion by leaves, branches and other fruits, the recognition and matching of the fruit become a challenge. Therefore, this study firstly defined mature litch...

The susceptibility of the larval offspring of engorged female Boophilus decoloratus, and of the engorged females, collected from cattle on the dairy farms Brycedale, Sunny Grove and Welgevind in the Eastern Cape Province, South Africa, was tested against the acaricides amitraz, chlorfenvinphos and cypermethrin. Resistance was determined by means of the Shaw Larval Immersion Test (SLIT) for larv...

The SUNNY algorithm is a portfolio technique originally tailored for Constraint Satisfaction Problems (CSPs). SUNNY allows to select a set of solvers to be run on a given CSP, and was proven to be effective in the MiniZinc Challenge, i.e., the yearly international competition for CP solvers. In 2015, SUNNY was compared with other solver selectors in the first ICON Challenge on algorithm selecti...