Publications
Publications found: 389
- Space-Conscious Compression
Travis Gagie, Giovanni Manzini
Published on TR-INF-2007-06-02-UNIPMN, Ed. Computer Science Department, UPO, 2007
- A fuzzy approach to similarity in Case-Based Reasoning suitable to SQL implementation
Stefania Montani, Luigi Portinale
Published on TR-INF-2007-10-03-UNIPMN, Ed. Computer Science Department, UPO, 2007
- Guest Editors' Introduction to the Special Section on the First International Conference on the Quantitative Evaluation of SysTems (QEST)
Giuliana Franceschinis, Joost-pieter Katoen, C. Murray Woodside
Published on IEEE Trans. Software Eng. Vol. 32 n. 8, 2006, Pages: 529-530
- Efficient lumpability check in partially symmetric systems
Marco Beccuti, Giuliana Franceschinis, Soheib Baarir, J-m. Ilie
Published on QEST, 2006, Pages: 211-220
- Modelling a Secure Agent with Team Automata
Lavinia Egidi, Marinella Petrocchi
Published on Electr. Notes Theor. Comput. Sci. Vol. 142, 2006, Pages: 111-127
- A mathematical framework for the semantics of symbolic languages representing periodic time
Lavinia Egidi, Paolo Terenziani
Published on Ann. Math. Artif. Intell. Vol. 46 n. 3, 2006, Pages: 317-347
- A mathematical framework for the semantics of symbolic languages representing periodic time
Lavinia Egidi, Paolo Terenziani
Published on Annals of Mathematics and Artificial Intelligence Vol. 46 n. 3, 2006, Pages: 317--347
- From digital audiobook to secure digital multimedia-book
Lavinia Egidi, Marco Furini
Published on Computers in Entertainment Vol. 4 n. 3, 2006
- Modelling Web Services for Diagnosis
L. Console, C. Picardi, Daniele Theseider Dupré
Published on Proc. ECAI 2006 Workshop on Model-Based Systems, 2006
- Exploiting decision theory concepts within clinical guideline systems: Toward a general approach
Stefania Montani, Paolo Terenziani
Published on Int. J. Intell. Syst. 21 6, 2006, Pages: 585-599
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 > »
