In this paper, a framework that combines feature extraction, model learning, and likelihood computation, is presented for video event detection. First, the independent component a...
A new spatio-temporal model for simulating the bottomup visual attention is proposed. It has been built from numerous important properties of the Human Visual System (HVS). This p...
Olivier Le Meur, Dominique Thoreau, Patrick Le Cal...
Cancer is a complex disease in which a variety of phenomena interact over a wide range of spatial and temporal scales. In this article a theoretical framework will be introduced t...
Helen M. Byrne, Markus R. Owen, Tomas Alarcó...
— Modern SAT solvers have proved highly successful in finding counterexamples to temporal properties of systems, using a method known as ”bounded model checking”. It is natu...
This paper presents an analytical model to study how working sets scale with database size and other applications parameters in decision-support systems (DSS). The model uses appl...