Vescovi, Michele
Vescovi, Michele
A DP Algorithm for Speaker Change Detection
2003-01-01 Vescovi, Michele; M., Cettolo; Rizzi, Romeo
Anonymous or not? Understanding the factors affecting personal mobile data disclosure
2017-01-01 Perentis, Christos; Vescovi, Michele; Leonardi, Chiara; Moiso, Corrado; Musolesi, Mirco; Pianesi, Fabio; Lepri, Bruno
Automated Reasoning in ALCQ via SMT
2011-01-01 V., Haarslev; Sebastiani, Roberto; Vescovi, Michele
Automated Reasoning on TBoxes with Qualified Number Restrictions via SMT
2011-01-01 Vescovi, Michele; Sebastiani, Roberto; Haarlsev, Volker
Axiom Pinpointing in Lightweight Description Logics via Horn-SAT Encoding and Conflict Analysis
2009-01-01 Vescovi, Michele; Sebastiani, Roberto
Axiom Pinpointing in Lightweight Description Logics via Horn-SAT Encoding and Conflict Analysis
2009-01-01 Sebastiani, Roberto; Vescovi, Michele
Efficient Audio Segmentation Algorithms based on the BIC.
2003-01-01 M., Cettolo; Vescovi, Michele
Encoding the satisfiability of modal and description logic into SAT: the case study of K(m)/ALC
2006-01-01 Sebastiani, Roberto; Vescovi, Michele
Encoding the satisfiability of modal and description logics into SAT: the case study of K(m)/ALC
2006-01-01 Sebastiani, Roberto; Vescovi, Michele
Evaluation of BIC-based algorithms for audio segmentation
2005-01-01 M., Cettolo; Vescovi, Michele; Rizzi, Romeo
Exploiting SAT and SMT Techniques for Automated Reasoning and Ontology Manipulation in Description Logics
2011-01-01 Vescovi, Michele
Investigating factors affecting personal data disclosure
2015-01-01 Perentis, Christos; Vescovi, Michele; Lepri, Bruno
My data store: Toward user awareness and control on personal data
2014-01-01 Vescovi, Michele; Perentis, Christos; Leonardi, Chiara; Lepri, Bruno; Moiso, Corrado
No more ready-made deals: constructive recommendation for telco service bundling
2018-01-01 Dragone, Paolo; Pellegrini, Giovanni; Vescovi, Michele; Tentori, Katya; Passerini, Andrea