In the era of digital information, the value of data resides not only in its volume and quality, but also in the additional information that can be inferred from the combination (a...
Daniele Braga, Francesco Corcoglioniti, Michael Gr...
Searching for repeated features characterizing biological data is fundamental in computational biology. When biological networks are under analysis, the presence of repeated modul...
Context-awareness for information retrieval is challenging problem as information about the users current situation is rarely available. If such information would be available, re...
Abstract. We report here on an experimental investigation of LTL satisfiability checking via a reduction to model checking. By using large LTL formulas, we offer challenging model-...
Detecting stationary human targets is crucial in ensuring safe operation of unmanned ground vehicles. In this paper, a multi-stage detection algorithm for stationary humans in inf...