Worldwide globalization increases the complexity of problem solving and decision-making, whatever the endeavor is. This calls for a more accurate and complete understanding of unde...
Application of model checking to isolated software components is not directly possible because a component does not form a complete program - the problem of missing environment oc...
Harmonic + Noise model (HNM) is a hybrid model of speech with a harmonic component and a noise component. While harmonic part describes efficiently the periodicities in speech si...
Abstract Trained musicians intuitively produce expressive variations that add to their audience's enjoyment. However, there is little quantitative information about the kinds ...
Abstract. Nowadays, network load is constantly increasing and high-speed infrastructures (1-10Gbps) are becoming increasingly common. In this context, flow-based intrusion detecti...
Anna Sperotto, Ramin Sadre, Pieter-Tjerk de Boer, ...