We present algorithms for parallel probabilistic model checking on general purpose graphic processing units (GPGPUs). Our improvements target the numerical components of the tradit...
Dragan Bosnacki, Stefan Edelkamp, Damian Sulewski,...
—We address the problem of modeling and adapting JPEG to the energy requirements of Visual Sensor Networks (VSN). For JPEG modeling purposes, we develop a simplified high-level ...
Abdelhamid Mammeri, Ahmed Khoumsi, Djemel Ziou, Br...
Providing accurate image-guidance for soft-tissue interventions remains a complex task. Most of the time, preoperative models and planning data are no more valid during the surgic...
In this paper we describe research on using eye-tracking data for on-line assessment of user meta-cognitive behavior during the interaction with an intelligent learning environmen...
In this paper we introduce a mathematical model of conflict that enhances Richardson’s model of Arms Race accounting for interactive scenarios, such as the ones provided by CRP...