Produzione Scientifica Michele Vescovi


  • V. Haarslev, R. Sebastiani, M. Vescovi, "Automated Reasoning in ALCQ via SMT " in In proc. International Conference on Automated Deduction, Berlin: Springer, 2011, p. 283-298 -(LNCS; 6803). Atti di: CADE 2011, WROCLAW, 31 JULY - 5 AUGUST. - URL: http://www.springerlink.com/content/k706v118223u6785/ . - DOI: 10.1007/978-3-642-22438-6_22 - vedi dettaglio
  • R. Sebastiani, M. Vescovi, "Axiom Pinpointing in Lightweight Description Logics via Horn-SAT Encoding and Conflict Analysis" in Automated Deduction – CADE-22, BERLIN: Springer, 2009, p. 84-99 -(LNCS; Vol. 5663). - ISBN: 9783642029585. Atti di: International Conference on Automated Deduction, CADE-22., Montreal, Canada, August 2009. - DOI: 10.1007/978-3-642-02959-2_6 - vedi dettaglio
  • R. Sebastiani, M. Vescovi, "Encoding the satisfiability of modal and description logic into SAT: the case study of K(m)/ALC" in Theory and applications of satisfiability testing - SAT 2006: 9th international conference, Seattle, WA, USA, August 12-15, 2006, proceedings, Berlin, Heidelberg: Springer, 2006, p. 130-135 -(LNCS; 4121). - ISBN: 3540372067. Atti di: 9th International Conference on Theory and Applications of Satisfiability Testing (SAT'06), Seattle, 12th-15th, August 2006. - URL: http://www.springerlink.com/content/0600054485g52h76/fulltext.pdf . - DOI: 10.1007/11814948_15 - vedi dettaglio
  • M. Cettolo, M. Vescovi, R. Rizzi, "Evaluation of BIC-based algorithms for audio segmentation" in COMPUTER SPEECH AND LANGUAGE, v. 19, n. 2 (2005), p. 147-170 - vedi dettaglio
  • M. Vescovi, M. Cettolo, R. Rizzi, "A DP Algorithm for Speaker Change Detection" in 8th European Conference on Speech Communication and Technology : Eurospeech '03: an Interspeech event ; September 1 - 4, 2003, Geneva, Switzerland: ISCA, 2003, p. 2997-3000. Atti di: International Conference on Language Resources and Evaluation <4, 2004, Lisbon, Portugal, Ginevra, Switzerland, 1-4 September 2003. - URL: http://www.isca-speech.org/archive/eurospeech_2003/e03_2997.html - vedi dettaglio
  • M. Cettolo, M. Vescovi, "Efficient Audio Segmentation Algorithms based on the BIC." in Proceedings of the IEEE International Conference on Acoustics, Speech and Signal Processing. IEEE ICASSP 2003: IEEE, 2003, p. 537-540. Atti di: IEEE International Conference on Acoustics, Speech and Signal Processing. IEEE ICASSP, Hong Kong, 6-10, april 2003 - vedi dettaglio