Rapporti Tecnici
2010
- A Case-based Approach to Business Process Monitoring
Stefania Montani, Giorgio Leonardi
Riferimenti: TR-INF-2010-03-01-UNIPMN, Ed. DiSIT, Computer Science Institute, UPO, 2010 - Verifying Business Process Compliance by Reasoning about Actions
Davide D'Aprile, Laura Giordano, Valentina Gliozzi, Alberto Martelli, Gianluca Pozzato, Daniele Theseider Dupré
Riferimenti: TR-INF-2010-05-02-UNIPMN, Ed. Computer Science Department, UPO, 2010 - ICCBR 2010 Workshop Proceedings
Cindy Marling
Riferimenti: TR-INF-2010-06-03-UNIPMN, Ed. Computer Science Department, UPO, 2010 - ARPHA: an FDIR architecture for Autonomous Spacecrafts based on Dynamic Probabilistic Graphical Models
Daniele Codetta Raiteri, Luigi Portinale
Riferimenti: TR-INF-2010-12-04-UNIPMN, Ed. DiSIT, Computer Science Institute, UPO, 2010
