Sfoglia per Autore
Hypothesis Discrimination with Abstractions based on Observation and Action Costs
2008-01-01 Gianluca Torta; Daniele Theseider Dupré; Luca Anselma
Computation of Minimal Sensor Sets for Conditional Testability Requirements
2008-01-01 G. TORTA; P. TORASSO
A Symbolic Approach for Component Abstraction in Model-Based Diagnosis
2008-01-01 G. TORTA; P. TORASSO
Cost-sensitive Iterative Abductive Reasoning with Abstractions
2008-01-01 Gianluca Torta; Daniele Theseider Dupré; Luca Anselma
Abductive Problem Solving with Abstractions
2009-01-01 Torta G.; Theseider Dupré D.
Parametric Abstraction of Behavioral Modes for Model-Based Diagnosis
2009-01-01 Torta G; Torasso P
Reformulation for the diagnosis of discrete-event systems
2010-01-01 A. Grastien; G. Torta
Exploiting Automatic Validation in Human Mission Planning
2011-01-01 Pietro Torasso; Gianluca Torta
A Structural Approach to Sensor Placement based on Symbolic Compilation of the Model
2011-01-01 Gianluca Torta; Pietro Torasso
A Theory of Abstraction for Diagnosis of Discrete-Event Systems
2011-01-01 Alban Grastien; Gianluca Torta
Mixed-Initiative Scheduling of Tasks in User Collaboration
2012-01-01 L. Ardissono; G. Petrone; G. Torta; M. Segnan
Diagnosing Delays in Multi-Agent Plans Execution
2012-01-01 R. Micalizio; G. Torta
Mixed-Initiative management of online calendars
2013-01-01 L. Ardissono; G. Petrone; M. Segnan; G. Torta
A web-based, relational database for studying glaciers in the Italian Alps
2013-01-01 G. Nigrelli; M. Chiarle; A. Nuzzi; L. Perotti; G. Torta; M. Giardino
Interacting with the User in Calendar Management
2013-01-01 L. Ardissono; G. Petrone; M. Segnan; G. Torta
Automatic component abstraction for Model-Based Diagnosis on relational models
2013-01-01 Torta Gianluca; Torasso Pietro
Diagnosing Dependent Action Delays in Temporal Multiagent Plans
2013-01-01 Roberto Micalizio; Gianluca Torta
Reasoning about Time Constraints in a Mixed-Initiative Calendar Manager
2013-01-01 L. Ardissono; G. Petrone; M. Segnan; G. Torta
A Multi-UAS Cooperative Mission Over Non-Segregated Civil Areas
2013-01-01 Marco Boccalatte; Filippo Brogi; Francesco Catalfamo; Stefania Maddaluno; Michele Martino; Valter Mellano; Paolo Rosazza Prin; Filomena Solitro; Pietro Torasso; Gianluca Torta
Un database relazionale web-based per lo studio dei ghiacciai del piemonte
2014-01-01 Nigrelli, Guido*; Nuzzi, Angelo; Torta, Gianluca; Perotti, Luigi; Giardino, Marco; Chiarle, Marta
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