Speaker diarization of meeting recordings is generally based on acoustic information ignoring that meetings are instances of conversations. Several recent works have shown that th...
Fabio Valente, Deepu Vijayasenan, Petr Motlí...
In recent years there have been efforts to develop a probabilistic framework to explain the workings of a Learning Classifier System. This direction of research has met with lim...
An adequate understanding of climate variability and the eventual prediction of climate change are among the most urgent and far-reaching efforts of the scientific community.. Mea...
Ramprasad Balasubramanian, Vishal Sood, Bin John, ...
In this paper a new very low bit rate video coding scheme is presented. It is based on a forward motion estimation technique using an image warping model, thus delivering the basi...
Guido Heising, Kai Uwe Barthel, W. Johannsen, C. S...
Bounded Model Checking (BMC) relies on solving a sequence of highly correlated Boolean satisfiability (SAT) problems, each of which corresponds to the existence of counter-example...
Chao Wang, HoonSang Jin, Gary D. Hachtel, Fabio So...