The memory hierarchy of most multicore systems contains one or more levels of cache that is shared among multiple cores. The shared-cache architecture presents many opportunities f...
Quantified Boolean formulas are a powerful representation that have been used to capture and solve a variety of problems in Artificial Intelligence. While most research has focused...
Standard databases play very important roles in pattern recognition tasks. To compare the performances of different algorithms, they must be tested on a same dataset. In Farsi, th...
Multi-classifier approach is a widespread strategy used in many difficult classification problems. Traditionally, in a multi-classifier approach, a classification decision based o...
Giuseppe Pirlo, Claudia Adamita Trullo, Donato Imp...
Languages that combine predicate logic with probabilities are needed to succinctly represent knowledge in many real-world domains. We consider a formalism based on universally qua...