907 search results - page 25 / 182 » Monitoring of Real-Time Properties |
123
Voted
TMI
2011
14 years 8 months ago
2011
—This paper introduces two real-time elastography techniques based on analytic minimization (AM) of regularized cost functions. The first method (1D AM) produces axial strain an...
117
Voted
RTSS
1999
IEEE
15 years 6 months ago
1999
IEEE
This paper presents a process algebra for specifying soft real-time constraints in a compositional way. For these soft constraints we take a stochastic point of view and allow arb...
114
Voted
CVPR
1997
IEEE
15 years 6 months ago
1997
IEEE
This paper describes an active-camera real-time system for tracking, shape description, and classification of the human face and mouth using only an SGI Indy computer. The system...
150
Voted
FTRTFT
1992
Springer
15 years 6 months ago
1992
Springer
Real-Time Logic is a formal notation for reasoning about temporal behaviour. Z is a general purpose specification language, but lacks explicit features for expressing real-time co...
144
click to vote
FM
2003
Springer
15 years 7 months ago
2003
Springer
We present a semantics for fault tree analysis, a technique used for the analysis of safety critical systems, in the real-time interval logic Duration Calculus with Liveness and sh...