Pubblicazioni
Pubblicazioni trovate: 401
- Compressed Representations of sequences and full-text indexes
Paolo Ferragina, Veli Makinen, Giovanni Manzini
Apparso su ACM Transactions on Algorithms, 2007
- Markov Decision Petri Net and Markov Decision Well-formed Net formalisms
Marco Beccuti, Giuliana Franceschinis, Serge Haddad
Apparso su TR-INF-2007-02-01-UNIPMN, Ed. Computer Science Department, UPO, 2007
- Space-Conscious Compression
Travis Gagie, Giovanni Manzini
Apparso su 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
Apparso su 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
Apparso su IEEE Trans. Software Eng. Vol. 32 n. 8, 2006, Pagine: 529-530
- Efficient lumpability check in partially symmetric systems
Marco Beccuti, Giuliana Franceschinis, Soheib Baarir, J-m. Ilie
Apparso su QEST, 2006, Pagine: 211-220
- Modelling a Secure Agent with Team Automata
Lavinia Egidi, Marinella Petrocchi
Apparso su Electr. Notes Theor. Comput. Sci. Vol. 142, 2006, Pagine: 111-127
- A mathematical framework for the semantics of symbolic languages representing periodic time
Lavinia Egidi, Paolo Terenziani
Apparso su Ann. Math. Artif. Intell. Vol. 46 n. 3, 2006, Pagine: 317-347
- A mathematical framework for the semantics of symbolic languages representing periodic time
Lavinia Egidi, Paolo Terenziani
Apparso su Annals of Mathematics and Artificial Intelligence Vol. 46 n. 3, 2006, Pagine: 317--347
- From digital audiobook to secure digital multimedia-book
Lavinia Egidi, Marco Furini
Apparso su Computers in Entertainment Vol. 4 n. 3, 2006
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 > »
