1980 search results - page 275 / 396 » Compositional Model Checking of Real Time Systems |
132
Voted
UAI
2004
15 years 4 months ago
2004
We propose dynamical systems trees (DSTs) as a flexible model for describing multiple processes that interact via a hierarchy of aggregating processes. DSTs extend nonlinear dynam...
140
click to vote
EDCC
2008
Springer
15 years 5 months ago
2008
Springer
This work addresses the problem of software fault diagnosis in complex safety critical software systems. The transient manifestations of software faults represent a challenging is...
101
Voted
ICMI
2000
Springer
15 years 7 months ago
2000
Springer
In this paper, we develop a system to track and recognize hand motion in nearly real time. An important application of this system is to simulate mouse as a visual inputting device...
126
click to vote
ISNN
2009
Springer
15 years 10 months ago
2009
Springer
SM has shown a better performance than HMM in connected word recognition system; however, no reports we have read show that SM has been applied in LVCSR as decoding acoustic model ...
162
Voted
IJACTAICIT
2010
14 years 10 months ago
2010
In this paper, a recurrent neural network based fuzzy inference system (RNFIS) for prediction is proposed. A recurrent network is embedded in the RNFIS by adding feedback connecti...