IRIS

Sfoglia per Autore  

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

  •  file ad accesso aperto
  •  file disponibili sulla rete interna
  •  file disponibili agli utenti autorizzati
  •  file disponibili solo agli amministratori
  •  file sotto embargo
  •  nessun file disponibile