1860 search results - page 100 / 372 » A Temporal Logic of Robustness |
KBSE
2008
IEEE
15 years 7 months ago
2008
IEEE
Finite state machine-based abstractions of software behaviour are popular because they can be used as the basis for a wide range of (semi-) automated verification and validation ...
107
Voted
FSTTCS
2008
Springer
15 years 1 months ago
2008
Springer
ABSTRACT. We introduce a novel approach to the runtime monitoring of complex system properties. In particular, we present an online algorithm for a safety fragment of metric first...
104
Voted
ICIP
2000
IEEE
16 years 2 months ago
2000
IEEE
Long-term memory predictionextends the spatial displacement vector utilized in hybrid video coding by a variable time delay permitting the use of more than one reference frame for...
99
Voted
ICASSP
2011
IEEE
14 years 4 months ago
2011
IEEE
Cortical recordings with high temporal resolution enable the tracking of neuronal excitation in response to stimuli. Here intra and extracranial recordings are analyzed from exper...
108
click to vote
DLT
2009
14 years 10 months ago
2009
While a mature theory around logics such as MSO, LTL, and CTL has been developed in the pure boolean setting of finite automata, weighted automata lack such a natural connection wi...