— We constructed a new model of an olfactory system with expanded integrate and fire neurons to explore its behaviors with external inputs. The model is built in according to th...
Motion detection and estimation is a first step in the much larger framework of attending to visual motion based on Selective Tuning Model of Visual Attention [1]. In order to be ...
Generally, Distributed video coding (DVC) schemes perform motion estimation at the decoder side, without the current frame being available. In order to generate the side-informati...
Petri net faulty models are useful for reliability analysis and fault diagnosis of discrete event systems. Such models are difficult to work out as long as they must be computed ac...
Edouard Leclercq, Souleiman Ould el Medhi, Dimitri...
As software comes under increasing scrutiny for its lack of safety and reliability, numerous static and partially dynamic tools (including model checking) have been proposed for v...