Sfoglia per Serie  

Opzioni
Vai a: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Mostrati risultati da 221 a 240 di 247
Titolo Data di pubblicazione Autore(i) File
Towards a logic of epistemic theory of measurement 1-gen-2019 Masolo, C.; Porello, D.
Towards a reality-enhanced serious game to promote eco-driving in the wild 1-gen-2019 Massoud, R.; Bellotti, F.; Poslad, S.; Berta, R.; De Gloria, A.
Towards a reference ontology of trust 1-gen-2019 Amaral, G.; Sales, T. P.; Guizzardi, G.; Porello, D.
Towards a runtime verification approach for internet of things systems 1-gen-2018 Leotta, Maurizio; Ancona, Davide; Franceschini, Luca; Olianas, Dario; Ribaudo, Marina; Ricca, Filippo
Towards a theoretical framework for learning multi-modal patterns for embodied agents 1-gen-2009 Noceti, Nicoletta; B., Caputo; C., Castellini; L., Baldassarre; Barla, Annalisa; Rosasco, Lorenzo; Odone, Francesca; Sandini, Giulio
Towards Relaxed Selection and Join Queries over Data Streams 1-gen-2012 Catania, Barbara; Guerrini, Giovanna; M. T., Pinto; Podesta', Paola
Towards the identification of propaedeutic relations in textbooks 1-gen-2019 Adorni, G.; Alzetta, C.; Koceva, F.; Passalacqua, S.; Torre, I.
Treewidth: A Useful Marker of Empirical Hardness in Quantified Boolean Logic Encodings 1-gen-2008 Pulina, Luca; Tacchella, Armando
Trust and risk-based access control for privacy preserving threat detection systems 1-gen-2016 Metoui, Nadia; Bezzi, Michele; Armando, Alessandro
Uniform Labelled Calculi for Conditional and Counterfactual Logics 1-gen-2019 Girlando, M.; Negri, S.; Sbardolini, G.
User preferences for a serious game to improve driving 1-gen-2019 Paranthaman, Pratheep Kumar; Bellotti, Francesco; Berta, Riccardo; Dange, Gautam; De Gloria, Alessandro
Vector Field Learning via Spectral Filtering 1-gen-2010 Baldassarre, L; Rosasco, Lorenzo; Barla, Annalisa; Verri, Alessandro
Verification and Repair of Neural Networks: A Progress Report on Convolutional Models 1-gen-2019 Guidotti, D.; Leofante, Francesco; Pulina, L.; Tacchella, A.
Verifying and validating autonomous systems: Towards an integrated approach 1-gen-2019 Ferrando, A.; Dennis, L. A.; Ancona, D.; Fisher, M.; Mascardi, V.
A vertex clustering model for disease progression: Application to cortical thickness images 1-gen-2017 Marinescu, R. V.; Eshaghi, A.; Lorenzi, M.; Young, A. L.; Oxtoby, N. P.; Garbarino, S.; Shakespeare, T. J.; Crutch, S. J.; Alexander, D. C.
A video-based markerless body machine interface: a pilot study 1-gen-2021 Moro, M.; Rizzoglio, F.; Odone, F.; Casadio, M.
Virtual Reality Arcade Game in Game-Based Learning for Cultural Heritage 1-gen-2018 Iacono, S.; Zolezzi, D.; Vercelli, G.
A Virtually Continuous Representation of the Deep Structure of Scale-Space 1-gen-2013 Puppo, Enrico; Rocca, Luigi
A vision-based navigation facility for planetary entry descent landing 1-gen-2012 P., Lanza; Noceti, Nicoletta; C., Maddaleno; A., Toma; Zini, Luca; Odone, Francesca
Visual vs. DOM-Based Web Locators: An Empirical Study 1-gen-2014 Leotta, Maurizio; Diego, Clerissi; Ricca, Filippo; Paolo, Tonella
Mostrati risultati da 221 a 240 di 247
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