In this note we construct a family of SAT-instance based on Eulerian graphs which are aimed at being hard for resolution based SAT-solvers. We discuss some experiments made with i...
The genetic programming bibliography aims to be the most complete reference of papers on genetic programming. In addition to locating publications, it contains coauthor and coedit...
Marco Tomassini, Leslie Luthi, Mario Giacobini, Wi...
Feature selection aims to choose a feature subset that has the most discriminative information from the original feature set. In practical cases, it is preferable to select a featu...
Naoto Abe, Mineichi Kudo, Jun Toyama, Masaru Shimb...
: The aim of this paper is to present a case study of the adoption of Information and Communication Technologies (ICT) among 6000 small businesses within a locality of Greater Manc...
The Answer Validation Exercise (AVE) 2006 is aimed at evaluating systems able to decide whether the responses of a Question Answering (QA) system are correct or not. Since most of ...