Vescovi, Michele

Vescovi, Michele  

Ingegneria e Scienza dell'Informaz (cess.4/11/12)  

Mostra records
Risultati 1 - 11 di 11 (tempo di esecuzione: 0.015 secondi).
Titolo Anno di pubblicazione Autori Unitn File
A DP Algorithm for Speaker Change Detection 1-gen-2003 Vescovi, MicheleRizzi, Romeo +
Anonymous or not? Understanding the factors affecting personal mobile data disclosure 1-gen-2017 Perentis, ChristosVescovi, MicheleMusolesi, MircoPianesi, FabioLepri, Bruno +
Automated Reasoning in ALCQ via SMT 1-gen-2011 Sebastiani, RobertoVescovi, Michele +
Axiom Pinpointing in Lightweight Description Logics via Horn-SAT Encoding and Conflict Analysis 1-gen-2009 Sebastiani, RobertoVescovi, Michele
Efficient Audio Segmentation Algorithms based on the BIC. 1-gen-2003 Vescovi, Michele +
Encoding the satisfiability of modal and description logic into SAT: the case study of K(m)/ALC 1-gen-2006 Sebastiani, RobertoVescovi, Michele
Evaluation of BIC-based algorithms for audio segmentation 1-gen-2005 Vescovi, MicheleRizzi, Romeo +
Exploiting SAT and SMT Techniques for Automated Reasoning and Ontology Manipulation in Description Logics 1-gen-2011 Vescovi, Michele
Investigating factors affecting personal data disclosure 1-gen-2015 Perentis, ChristosVescovi, MicheleLepri, Bruno
My data store: Toward user awareness and control on personal data 1-gen-2014 Vescovi, MichelePerentis, ChristosLepri, Bruno +
No more ready-made deals: constructive recommendation for telco service bundling 1-gen-2018 Paolo DragonePellegrini, GiovanniMichele VescoviKatya TentoriAndrea Passerini