CINECA IRIS Institutional Research Information System

Sfoglia per Autore  

Opzioni
Mostrati risultati da 1 a 20 di 72
Titolo Data di pubblicazione Autore(i) File
Merging Indiscriminable Diagnoses: An Approach Based on Automatic Domains Abstraction 2002 P. TORASSO; G. TORTA
Computing Minimum-Cardinality Diagnoses Using OBDDs 2003 P. TORASSO; G. TORTA
Automatic Abstraction in Component-Based Diagnosis Driven by System Observability 2003 TORTA G; TORASSO P
IMPROVING ON-BOARD DIAGNOSIS EFFICIENCY THROUGH AUTOMATIC SYSTEM MODEL ABSTRACTION 2003 G. TORTA; TORASSO P
On-line Monitoring and Diagnosis of Multi-Agent Systems: a Model Based Approach 2004 R. MICALIZIO; P. TORASSO; G. TORTA
Monitoring and Diagnosing Multi-Agent Systems: the RoboCare proposal 2004 R. MICALIZIO; P. TORASSO; G. TORTA
The role of obdds in controlling tha complexity of model based diagnosis 2004 G. TORTA; P. TORASSO
Automatic Abstraction of Time-Varying System Models for Model Based Diagnosis 2005 P. TORASSO; G. TORTA
Compact Diagnoses Representation in Diagnostic Problem Solving 2005 P. TORASSO; G. TORTA
High Level Interpretation of Action Failures in Multi-Robot Systems 2005 P. TORASSO; G. TORTA; R. MICALIZIO
On-line monitoring and diagnosis of a team of service robots: A model-based approach 2006 R. MICALIZIO; P. TORASSO; G. TORTA
Qualitative Domain Abstractions for Time-Varying Systems: an Approach based on Reusable Abstraction Fragments 2006 G. TORTA; P. TORASSO
Synthesizing Diagnostic Explanations from Monitoring Data in Multi-Robot Systems 2006 R. MICALIZIO; P. TORASSO; G. TORTA
On the Use of OBDDs in Model Based Diagnosis: an Approach based on the Partition of the Model 2006 G. TORTA; P. TORASSO
Model-Based Diagnosis Through OBDD Compilation: A Complexity Analysis 2006 P. TORASSO; G. TORTA
Intelligent Supervision of Plan Execution in Multi-Agent Systems 2006 R. MICALIZIO; P. TORASSO; G. TORTA
An on-line approach to the computation and presentation of preferred diagnoses for dynamic systems 2007 G. TORTA; P. TORASSO
On the role of modeling causal independence for system model compilation with OBDDs 2007 G. TORTA; P. TORASSO
Formalizing the Abstraction Process in Model-Based Diagnosis 2007 L. SAITTA; P. TORASSO; G. TORTA
Computation of Minimal Sensor Sets from Precompiled Discriminability Relations 2007 G. TORTA; P. TORASSO
Mostrati risultati da 1 a 20 di 72
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