CINECA IRIS Institutional Research Information System

Sfoglia per Autore  

Opzioni
Mostrati risultati da 41 a 60 di 72
Titolo Data di pubblicazione Autore(i) File
Mixed-Initiative Scheduling of Tasks in User Collaboration 2012 L. Ardissono; G. Petrone; G. Torta; M. Segnan
Diagnosing Delays in Multi-Agent Plans Execution 2012 R. Micalizio; G. Torta
A Theory of Abstraction for Diagnosis of Discrete-Event Systems 2011 Alban Grastien; Gianluca Torta
A Structural Approach to Sensor Placement based on Symbolic Compilation of the Model 2011 Gianluca Torta; Pietro Torasso
Exploiting Automatic Validation in Human Mission Planning 2011 Pietro Torasso; Gianluca Torta
Reformulation for the diagnosis of discrete-event systems 2010 A. Grastien; G. Torta
Abductive Problem Solving with Abstractions 2009 Torta G.; Theseider Dupré D.
Parametric Abstraction of Behavioral Modes for Model-Based Diagnosis 2009 Torta G; Torasso P
Cost-sensitive Iterative Abductive Reasoning with Abstractions 2008 Gianluca Torta; Daniele Theseider Dupré; Luca Anselma
Computation of Minimal Sensor Sets for Conditional Testability Requirements 2008 G. TORTA; P. TORASSO
A Symbolic Approach for Component Abstraction in Model-Based Diagnosis 2008 G. TORTA; P. TORASSO
Hypothesis Discrimination with Abstractions based on Observation and Action Costs 2008 Gianluca Torta; Daniele Theseider Dupré; Luca Anselma
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
Synthesizing Diagnostic Explanations from Monitoring Data in Multi-Robot Systems 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
On-line monitoring and diagnosis of a team of service robots: A model-based approach 2006 R. MICALIZIO; P. TORASSO; G. TORTA
Model-Based Diagnosis Through OBDD Compilation: A Complexity Analysis 2006 P. TORASSO; G. TORTA
Mostrati risultati da 41 a 60 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