Pubblicazioni
Pubblicazioni trovate: 413
- A provenly correct translation of Fickle into Java
Davide Ancona, Christopher Anderson, Ferruccio Damiani, Sophia Drossopoulou, Paola Giannini, Elena Zucca
Apparso su ACM Transactions On Programming Languages and Systems 29 2, Ed. ACM, 2007, Pagine: Art. n.13 (67 pages) - Compression-based classification of biological sequences and structures via the Universal Similarity Metric: experimental assessment
Paolo Ferragina, Raffaele Giancarlo, V. Greco, Giovanni Manzini, G. Valiente
Apparso su BMC Bioinformatics 8, 2007 - 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
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 42 > »
