Information fusion has, in the form of multiple classifier systems, long been a successful tool in pattern recognition applications. It is also becoming increasingly popular in bio...
Torsten Rohlfing, Adolf Pfefferbaum, Edith V. Sull...
We describe an automatic complexity analysis mechanism for programs extracted from proofs carried out with the proof assistant Coq. By extraction, we mean the automatic generation...
This paper describes Isis, a system that uses progressive multiples of timelines and event plots to support the iterative investigation of intrusions by experienced analysts using ...
Doantam Phan, J. Gerth, M. Lee, Andreas Paepcke, T...
This paper presents a duality analysis and an algorithm for computing the multiplicity structure of a zero to a polynomial system, while the zero can be exact or approximate with ...
Abstract. We present the next version (ver. 2.1) of the Rough Set Exploration System – a software tool featuring a library of methods and a graphical user interface supporting va...
Jan G. Bazan, Marcin S. Szczuka, Arkadiusz Wojna, ...