Bayesian optimization techniques have been successfully applied to robotics, planning, sensor placement, recommendation, advertising, intelligent user interfaces and automatic alg...
Ziyu Wang, Frank Hutter, Masrour Zoghi, David Math...
A promising direction in computational social choice is to address open research problems using computer-aided proving techniques. In conjunction with SAT solving, this approach h...
ING This journal is listed in CSA (ProQuest), EBSCOhost, Elsevier BV, The Engineering Index Monthly (DVD), Gale, National Library of Medicine, OCLC, Ovid, TEMA - Technology and Man...
Most visualization techniques have traditionally used two-dimensional, instead of three-dimensional representations to visualize multidimensional and multivariate data. In this ar...
Cascades appear in many applications, including biological graphs and social media analysis. In a cascade, a dynamic attribute propagates through a graph, following its edges. We ...