908 search results - page 18 / 182 » Temporal Analysis of Time Bounded Digital Systems |
TCS
2008
13 years 7 months ago
2008
Starting from the logical description of gene regulatory networks developed by R. Thomas, we introduce an enhanced modelling approach based on timed automata. We obtain a refined ...
AUTOMATICA
2004
13 years 7 months ago
2004
This paper deals with feedback controller synthesis for timed event graphs in dioids, where the number of initial tokens and time delays are only known to belong to intervals. We ...
CIVR
2004
Springer
14 years 1 months ago
2004
Springer
This paper presents a system designed for the management of multimedia databases that embarks upon the problem of efficient media processing and representation for automatic semant...
SOFTCOMP
2010
13 years 6 months ago
2010
Abstract This paper presents an extension of MOVICAB-IDS, a Hybrid Intelligent Intrusion Detection System characterized by incorporating temporal control to enable real-time proces...
CDC
2010
IEEE
13 years 2 months ago
2010
IEEE
This paper presents an inertial navigation filter designed for an automotive vehicle not equipped with any GPS receiver. The task of this filter is to provide relative position inf...