Sciweavers

4511 search results - page 339 / 903
» Observation Based System Security
Sort
View
HYBRID
2001
Springer
15 years 11 months ago
Diagnosis of Physical Systems with Hybrid Models Using Parametrized Causality
Efficient algorithms exist for fault detection and isolation of physical systems based on functional redundancy. In a qualitative approach, this redundancy can be captured by a tem...
Pieter J. Mosterman
AIA
2006
15 years 8 months ago
Synthesizing Diagnostic Explanations from Monitoring Data in Multi-Robot Systems
The paper discusses the issues concerning monitoring and diagnosis of a multi-robot system involving a team of mobile robots providing services in an environment which is partiall...
Roberto Micalizio, Pietro Torasso, Gianluca Torta
IANDC
2008
84views more  IANDC 2008»
15 years 6 months ago
A theory of system behaviour in the presence of node and link failure
We develop a behavioural theory of distributed programs in the presence of failures such as nodes crashing and links breaking. The framework we use is that of D, a language in whi...
Adrian Francalanza, Matthew Hennessy
ICASSP
2008
IEEE
16 years 1 months ago
Bayesian update of dialogue state for robust dialogue systems
This paper presents a new framework for accumulating beliefs in spoken dialogue systems. The technique is based on updating a Bayesian Network that represents the underlying state...
Blaise Thomson, Jost Schatzmann, Steve Young
GLOBECOM
2008
IEEE
16 years 1 months ago
On Strategies for Source Information Transmission over MIMO Systems
—We consider strategies for the lossy transmission of a zero mean Gaussian source over a 2×2 MIMO channel with Rayleigh fading. The source is represented either using a single d...
Marco Zoffoli, Jerry D. Gibson, Marco Chiani