1980 search results - page 137 / 396 » Compositional Model Checking of Real Time Systems |
122
Voted
ECRTS
2004
IEEE
15 years 5 months ago
2004
IEEE
The contribution of this paper is threefold. First, an improvement to a previously published paper on the timing analysis of Controller Area Network (CAN) in the presence of trans...
166
click to vote
DEM
2001
Springer
15 years 6 months ago
2001
Springer
A common concern of the real−time terrain visualisation of today is the lack of geometric detail, when the terrain model is studied close enough. This is primary not a problem of...
123
click to vote
SPIN
2010
Springer
15 years 4 days ago
2010
Springer
Directed model checking is a well-established technique to efficiently tackle the state explosion problem when the aim is to find error states in concurrent systems. Although dir...
134
Voted
EPIA
2005
Springer
15 years 7 months ago
2005
Springer
We are interested in the challenging scientific pursuit of how to characterize human activities in any formal meeting situation by tracking people’s positions with a computer vi...
152
click to vote
DAGM
2003
Springer
15 years 7 months ago
2003
Springer
We present a system capable of visually detecting pointing gestures and estimating the 3D pointing direction in real-time. We use Hidden Markov Models (HMMs) trained on different ...