This paper describes an approach to carry out performance analysis on systems which combine two major characteristics: real-time behaviour and parallel computational structure. It ...
In this technical report, we present a process algebra aimed at modelling PKI-based systems. The new language, SPIKY, extends the spi-calculus by adding primitives for the retriev...
Exploratory data analysis (EDA) plays an increasingly important role in statistical analysis. EDA is di cult, however, even with the help of modern statistical software. We have d...
Interaction analysis can provide information directly to learners and teachers in order to assess and self-regulate their ongoing activity. Omega+ is a generic CSCL system that use...
A conventional automatic speech recognizer does not perform well in the presence of multiple sound sources, while human listeners are able to segregate and recognize a signal of i...
Yang Shao, Soundararajan Srinivasan, Zhaozhang Jin...