In order to investigate the deep structure of Gaussian scale space images, one needs to understand the behaviour of spatial critical points under the influence of blurring. We sho...
We present a model of the IEEE 1394 Root Contention Protocol with a proof of Safety. This model has real-time properties which are expressed in the language of the event B method: ...
In this paper, we propose a generative model-based approach for audio-visual event classification. This approach is based on a new unsupervised learning method using an extended p...
Ming Li, Sanqing Hu, Shih-Hsi Liu, Sung Baang, Yu ...
In this paper, we propose a logic of action and causality. The most important part of our contribution is a semantics that integrates action, temporal structure, and probability. ...
: In this paper we propose an approach for discrete event systems control optimization, based on the theory developed by Ramadge and Wonham and on the Limited Lookahead Policy stra...