Pubblicazioni
Pubblicazioni trovate: 406
- Adopting model checking techniques for clinical guidelines verification
Alessio Bottrighi, Laura Giordano, Gianpaolo Molino, Stefania Montani, Paolo Terenziani, Mauro Torchio
Apparso su Artificial Intelligence in Medicine 48 1, 2010, Pagine: 1-19 - Prototype-based management of business process exception cases
Stefania Montani
Apparso su Appl. Intell. 33 3, 2010, Pagine: 278-290 - Intelligent Data Interpretation and Case Base Exploration through Temporal Abstractions
Alessio Bottrighi, Giorgio Leonardi, Stefania Montani, Luigi Portinale, Paolo Terenziani
Apparso su ICCBR, 2010, Pagine: 36-50 - Case-Based Reasoning. Research and Development, 18th International Conference on Case-Based Reasoning, ICCBR 2010, Alessandria, Italy, July 19-22, 2010. Proceedings
Isabelle Bichindaritz, Stefania Montani
Apparso su ICCBR 6176, Ed. Springer, 2010 - Evaluation of communication scenarios inside the Electrical Power System
Daniele Codetta Raiteri, Roberto Nai
Apparso su International Journal of Modelling and Simulation vol. 30(3), Ed. ACTA Press, 2010, Pagine: 345-352 - Supporting Reliability Engineers in Exploiting the Power of Dynamic Bayesian Networks
Daniele Codetta Raiteri, Stefania Montani, Luigi Portinale
Apparso su International Journal of Approximate Reasoning vol. 51(2), Ed. Elsevier, 2010, Pagine: 179-195 - Generalized Continuous Time Bayesian Networks and their GSPN Semantics
Daniele Codetta Raiteri, Luigi Portinale
Apparso su Proceedings of the European Workshop on Probabilistic Graphical Models, Ed. HIIT, 2010, Pagine: 105-112 - Intersection Types for Unbind and Rebind
Mariangiola Dezani-Ciancaglini, Paola Giannini, Elena Zucca
Apparso su ITRS'10 45, 2010, Pagine: 45-59 - Sequence-Function Protein Analysis Using Annotated Context Free Grammars
Paola Giannini, Eva Sciacca, Salvatore Spinella
Apparso su ICTCS 2010, 2010 - ARPHA: an FDIR architecture for Autonomous Spacecrafts based on Dynamic Probabilistic Graphical Models
Daniele Codetta Raiteri, Luigi Portinale
Apparso su TR-INF-2010-12-04-UNIPMN, Ed. DiSIT, Computer Science Institute, UPO, 2010
Pagine: « < 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 > »
