IRIS

Sfoglia per Autore  

Opzioni
Mostrati risultati da 21 a 40 di 69
Titolo Data di pubblicazione Autore(i) File
Interoperability mapping from XML schemas to ER diagrams 1-gen-2006 DELLA PENNA, Giuseppe; DI MARCO, Antinisca; Benedetto, Intrigila; Igor, Melatti; Pierantonio, Alfonso
A Case Study on Automated Generation of Integration Tests 1-gen-2006 DELLA PENNA, Giuseppe; Benedetto, Intrigila; Igor, Melatti; M., Pecorari; O., Raparelli; Alberto, Tofani; Enrico, Tronci
Disk Based Software Verification via Bounded Model Checking 1-gen-2007 Fernando, Brizzolari; Igor, Melatti; Enrico, Tronci; DELLA PENNA, Giuseppe
Automatic Synthesis of Robust Numerical Controllers 1-gen-2007 DELLA PENNA, Giuseppe; Benedetto, Intrigila; Igor, Melatti; Daniele, Magazzeni; Alberto, Tofani; Enrico, Tronci
A Genetic Approach to the Automatic Generation of Fuzzy Control Systems from Numerical Controllers 1-gen-2007 DELLA PENNA, Giuseppe; Fallucchi, Francesca; Intrigila, Benedetto; Magazzeni, Daniele
OBDD compression of numerical controllers 1-gen-2008 DELLA PENNA, Giuseppe; Lauri, Nadia; Magazzeni, Daniele; Intrigila, Benedetto
Automatic Generation Of Optimal Controllers Through Model Checking Techniques 1-gen-2008 DELLA PENNA, Giuseppe; Benedetto, Intrigila; Daniele, Magazzeni; Igor, Melatti; Alberto, Tofani; Enrico, Tronci
Verifying Extended Criteria for the Interoperability of Security Devices 1-gen-2008 Maurizio, Talamo; Franco, Arcieri; DELLA PENNA, Giuseppe; Andrea, Dimitri; Benedetto, Intrigila; Magazzeni, Daniele
An XML Based Methodology to Model and Use Scenarios in the Software Development Process 1-gen-2008 Orefice, Sergio; Intrigila, B; Laurenzi, A. R.; DELLA PENNA, Giuseppe
Synthesis of Optimal Control Systems: a Comparison between Model Checking and Dynamic Programming Techniques 1-gen-2008 DELLA PENNA, Giuseppe; Benedetto, Intrigila; Magazzeni, Daniele
UPMurphi: a Tool for Universal Planning on PDDL+ Problems 1-gen-2009 DELLA PENNA, Giuseppe; Benedetto, Intrigila; Daniele, Magazzeni; Fabio, Mercorio
A Graphical Tool to Support Visual Information Extraction 1-gen-2009 Orefice, Sergio; Magazzeni, D; DELLA PENNA, Giuseppe
Fast and Compact Encoding of Numerical Controllers using OBDDS 1-gen-2009 DELLA PENNA, Giuseppe; Benedetto, Intrigila; Nadia, Lauri; Daniele, Magazzeni
Evaluating Fuzzy Controller Robustness using Model Checking 1-gen-2009 DELLA PENNA, Giuseppe; Benedetto, Intrigila; Daniele, Magazzeni
Planning for Autonomous Planetary Vehicles 1-gen-2010 DELLA PENNA, Giuseppe; Benedetto, Intrigila; Daniele, Magazzeni; Fabio, Mercorio
Visual Extraction of Information from Web Pages 1-gen-2010 Orefice, Sergio; Magazzeni, D; DELLA PENNA, Giuseppe
A PDDL+ Benchmark Problem: The Batch Chemical Plant 1-gen-2010 DELLA PENNA, Giuseppe; Benedetto, Intrigila; Daniele, Magazzeni; Fabio, Mercorio
Cost-Optimal Strong Planning in Non-Deterministic Domains 1-gen-2011 DELLA PENNA, Giuseppe; Benedetto, Intrigila; Daniele, Magazzeni; Fabio, Mercorio
Supporting Visual Information Extraction from Geospatial Data 1-gen-2011 DELLA PENNA, Giuseppe; Magazzeni, D; Orefice, Sergio
A universal planning system for hybrid domains 1-gen-2012 DELLA PENNA, Giuseppe; Daniele, Magazzeni; Fabio, Mercorio
Mostrati risultati da 21 a 40 di 69
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