This paper considers using online binary classification for target detection where the goal is to identify signals of interest within a sequence of received signals generated by ...
This paper describes the improvement introduced in the Loquendo–Politecnico di Torino (LPT) speaker recognition system submitted to the NIST SRE10 evaluation campaign. This syst...
Failed literal detection (FL) in SAT is a powerful approach for preprocessing. The basic idea is to assign a variable as assumption. If boolean constraint propagation (BCP) yields ...
The inherent instruction-level parallelism (ILP) of current applications (specially those based on floating point computations) has driven hardware designers and compilers writers...
We consider the fundamental operation of applying a conjunction of selection conditions to a set of records. With large main memories available cheaply, systems may choose to keep...