—A mobile robot can be a rather significant source of noise: noisy fans cool onboard computers, motors are spinning, rubber wheels are squeaking against the floor, and mechanical...
Petri nets are an effective formalism to model discrete event systems, and several variants have been defined to explicitly include real time in the model. We consider two fundam...
Embedded control programs are hard to analyse because their behaviour depends on how they interact with hardware devices. In particular, embedded code typically uses interrupts to...
Increasing use of multimedia data makes it crucial t o use intelligent search mechanisms for retrieving multimedia data by content. Digital video requires the incorporation of tem...
Serhan Dagtas, Wasfi Al-Khatib, Arif Ghafoor, Ashf...
I introduce and study a fairly general imprecise secondorder uncertainty model, in terms of lower desirability. A modeller's lower desirability for a gamble is defined as her...