15614 search results - page 108 / 3123 » The State of State |
98
Voted
COMCOM
1999
15 years 3 months ago
1999
If a test does not produce the expected output, the incorrect output may have been caused by an earlier state transfer failure. Ghedamsi and von Bochmann [1992] and Ghedamsi et al...
85
Voted
ECCV
2008
Springer
16 years 5 months ago
2008
Springer
144
Voted
CDC
2008
IEEE
15 years 10 months ago
2008
IEEE
Abstract— Recursive state estimation is considered for discrete time linear systems with mixed process and measurement disturbances that have stochastic and (convex) set-bounded ...
140
click to vote
LICS
2008
IEEE
15 years 10 months ago
2008
IEEE
Separation logic involves two dual forms of modularity: local reasoning makes part of the store invisible within a static scope, whereas hiding local state makes part of the store...