9051 search results - page 442 / 1811 » On detectability of stochastic systems |
241
Voted
SPIN
2000
Springer
15 years 11 months ago
2000
Springer
Systematic state-space exploration is a powerful technique for veri cation of concurrent software systems. Most work in this area deals with manually-constructed models of those sy...
206
click to vote
SSIAI
2002
IEEE
16 years 19 days ago
2002
IEEE
2. Tracking traveling trajectory The traveling trajectory of eachvehicle is evaluatedfrom the analog images of 30 frames/sec.The computation of a traveling trajectory is mainly di...
241
Voted
FTCS
1993
15 years 9 months ago
1993
Although the present work does in fact employ training data, it does so in the interest of calibrating the results Six hundred faults were induced by injection into five live obtai...
344
click to vote
SIGMOD
2009
ACM
16 years 8 months ago
2009
ACM
Composite (or Complex) event processing (CEP) systems search sequences of incoming events for occurrences of userspecified event patterns. Recently, they have gained more attentio...
213
click to vote
SSDBM
2005
IEEE
16 years 1 months ago
2005
IEEE
Recent advancements in sensor technology have made it possible to collect enormous amounts of data in real time. However, because of the sheer volume of data most of it will never...