The paper is concerned with two-class active learning. While the common approach for collecting data in active learning is to select samples close to the classification boundary,...
The verification of industrial systems specified with CSP often implies the analysis of many concurrent and synchronized components. The cost associated to these analyses is usu...
Marisa Llorens, Javier Oliver, Josep Silva, Salvad...
Despite increasingly distributed internet information sources with diverse storage formats and access-control constraints, most of the end applications (e.g., filters and media p...
Efficient index construction in multidimensional data spaces is important for many knowledge discovery algorithms, because construction times typically must be amortized by perform...
This paper describes the Agilo RoboCuppers 1 – the RoboCup team of the image understanding group (FG BV) at the Technische Universit¨at M¨unchen. With a team of five Pioneer 1...
Thorsten Bandlow, Robert Hanek, Michael Klupsch, T...