Publications
Publications found: 386
- Adopting model checking techniques for clinical guidelines verification
Alessio Bottrighi, Laura Giordano, Gianpaolo Molino, Stefania Montani, Paolo Terenziani, Mauro Torchio
Published on Artificial Intelligence in Medicine 48 1, 2010, Pages: 1-19
- Prototype-based management of business process exception cases
Stefania Montani
Published on Appl. Intell. 33 3, 2010, Pages: 278-290
- Intelligent Data Interpretation and Case Base Exploration through Temporal Abstractions
Alessio Bottrighi, Giorgio Leonardi, Stefania Montani, Luigi Portinale, Paolo Terenziani
Published on ICCBR, 2010, Pages: 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
Published on ICCBR 6176, Ed. Springer, 2010
- Evaluation of communication scenarios inside the Electrical Power System
Daniele Codetta Raiteri, Roberto Nai
Published on International Journal of Modelling and Simulation vol. 30(3), Ed. ACTA Press, 2010, Pages: 345-352
- Supporting Reliability Engineers in Exploiting the Power of Dynamic Bayesian Networks
Daniele Codetta Raiteri, Stefania Montani, Luigi Portinale
Published on International Journal of Approximate Reasoning vol. 51(2), Ed. Elsevier, 2010, Pages: 179-195
- Generalized Continuous Time Bayesian Networks and their GSPN Semantics
Daniele Codetta Raiteri, Luigi Portinale
Published on Proceedings of the European Workshop on Probabilistic Graphical Models, Ed. HIIT, 2010, Pages: 105-112
- Intersection Types for Unbind and Rebind
Mariangiola Dezani-Ciancaglini, Paola Giannini, Elena Zucca
Published on ITRS'10 45, 2010, Pages: 45-59
- Sequence-Function Protein Analysis Using Annotated Context Free Grammars
Paola Giannini, Eva Sciacca, Salvatore Spinella
Published on ICTCS 2010, 2010
- ARPHA: an FDIR architecture for Autonomous Spacecrafts based on Dynamic Probabilistic Graphical Models
Daniele Codetta Raiteri, Luigi Portinale
Published on TR-INF-2010-12-04-UNIPMN, Ed. DiSIT, Computer Science Institute, UPO, 2010
Pages: « < 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 > »
