IRIS Institutional Research Information System - OPENBS Open Archive UniBS

Sfoglia per Autore  

Opzioni
Mostrati risultati da 61 a 80 di 133
Titolo Data di pubblicazione Autore(i) File
A bridged diagnostic method for the monitoring of polymorphic discrete-event systems 1-gen-2004 Lamperti, Gian Franco; Zanella, Marina
Monitoring and Diagnosis of Discrete-Event Systems with Uncertain Observations 1-gen-2005 Lamperti, Gian Franco; Zanella, Marina
Monitoring-based Diagnosis of Discrete-Event Systems with Uncertain Observations 1-gen-2005 Lamperti, Gian Franco; Zanella, Marina
On Processing Temporal Observations in Model-Based Reasoning 1-gen-2005 Lamperti, Gian Franco; Zanella, Marina
Incremental Indexing of Temporal Observations in Diagnosis of Active Systems 1-gen-2006 Lamperti, Gian Franco; Zanella, Marina
Proceedings of the ECAI'06 Workshop on Planning, Learning and Monitoring with Uncertainty and Dynamic Worlds (PLMUDW'06) 1-gen-2006 Botea, A.; Buffet, O.; Zanella, Marina
Flexible diagnosis of discrete-event systems by similarity-based reasoning techniques 1-gen-2006 Lamperti, Gian Franco; Zanella, Marina
Incremental Processing of Temporal Observations in Supervision and Diagnosis of Discrete-Event Systems 1-gen-2006 Lamperti, Gian Franco; Zanella, Marina
Coverage Techniques for Checking Temporal-Observation Subsumption 1-gen-2007 Ducoli, A.; Lamperti, Gian Franco; Piantoni, E.; Zanella, Marina
On Monotonic Monitoring of Discrete-Event Systems 1-gen-2007 Lamperti, Gian Franco; Zanella, Marina
A diagnostic environment for automaton networks 1-gen-2007 S., Cerutti; Lamperti, Gian Franco; M., Scaroni; Zanella, Marina; D., Zanni
Incremental processing of temporal observations in Model-Based Reasoning 1-gen-2007 Lamperti, Gian Franco; Zanella, Marina; Zanni, D.
Relaxation of Temporal Observations in Model-Based Diagnosis of Discrete-Event Systems 1-gen-2008 Lamperti, Gian Franco; Vivenzi, F.; Zanella, Marina
Incremental Determinization of Finite Automata in Model-Based Diagnosis of Active Systems 1-gen-2008 Lamperti, Gian Franco; Zanella, Marina; Chiodi, G.; Chiodi, L.
On processing temporal observations in monitoring of discrete-event systems 1-gen-2008 Lamperti, Gian Franco; Zanella, Marina
Observation-Subsumption Checking in Similarity-Based Diagnosis of Discrete-Event Systems 1-gen-2008 Lamperti, Gian Franco; Zanella, Marina
Dependable Monitoring of Discrete-Event Systems with Uncertain Temporal Observations 1-gen-2008 Lamperti, Gian Franco; Zanella, Marina
On Checking Temporal-Observation Subsumption in Similarity-Based Diagnosis of Active Systems 1-gen-2008 Lamperti, Gian Franco; Vivenzi, F.; Zanella, Marina
Incremental Determinization of Finite Automata in Model-Based Diagnosis of Active Systems 1-gen-2008 Lamperti, Gian Franco; Zanella, Marina; G., Chiodi; L., Chiodi
Circular pruning for lazy diagnosis of active systems 1-gen-2009 Lamperti, Gian Franco; Ducoli, A.; Piantoni, E.; Zanella, Marina
Mostrati risultati da 61 a 80 di 133
Legenda icone

  •  file ad accesso aperto
  •  file disponibili sulla rete interna
  •  file disponibili agli utenti autorizzati
  •  file disponibili solo agli amministratori
  •  file sotto embargo
  •  nessun file disponibile