Sfoglia per Rivista  

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 2 a 7 di 7
Titolo Data di pubblicazione Autore(i) File
Biometric Authentication - 1st International Workshop, BIOMET 2014, Revised Selected Papers 1-gen-2014 Tistarelli, Massimo; Grosso, Enrico; Meuwly, Didier
Consistency of property specification patterns with boolean and constrained numerical signals 1-gen-2018 Narizzano, Massimo; Pulina, Luca; Tacchella, Armando; Vuotto, Simone
More adaptive does not imply less safe (with formal verification) 1-gen-2017 Pulina, Luca; Tacchella, A
Multi-level algorithm selection for ASP 1-gen-2015 Maratea, Marco; Pulina, Luca; Ricca, Francesco
An ontology for historical research documents 1-gen-2015 Adorni, Giovanni; Maratea, Marco; Pandolfo, Laura; Pulina, Luca
Testing a learn-verify-repair approach for safe human-robot interaction 1-gen-2015 Pathak, Shashank; Pulina, Luca; Tacchella, Armando
Mostrati risultati da 2 a 7 di 7
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