IRIS

04.01 - Contributo in atti di convegno: [27403] Home page tipologia

Sfoglia
Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 5.801 a 5.820 di 27.403
Titolo Data di pubblicazione Autore(i) File
An empirical perspective on ten years of QBF solving 1-gen-2015 Marin, Paolo; Narizzano, Massimo; Pulina, Luca; Tacchella, Armando; Giunchiglia, Enrico
SC2: Satisfiability checking meets symbolic computation (Project Paper) 1-gen-2016 Abraham, Erika; Abbott, JOHN ANTHONY; Becker, Bernd; Bigatti, ANNA MARIA; Brain, Martin; Buchberger, Bruno; Cimatti, Alessandro; Davenport, James H.; England, Matthew; Fontaine, Pascal; Forrest, Stephen; Griggio, Alberto; Kroening, Daniel; Seiler, Werner M.; Sturm, Thomas
CoCoA and CoCoALib: Fast prototyping and flexible C++ library for computations in commutative Algebra 1-gen-2016 Abbott, JOHN ANTHONY; Bigatti, ANNA MARIA
Automatic Test Generation for Coverage Analysis of ERTMS Software 1-gen-2009 D., Angeletti; Giunchiglia, Enrico; Narizzano, Massimo; A., Puddu; S., Sabina
Biological movement detector enhances the attentive skills of humanoid robot iCub 1-gen-2016 Vignolo, Alessia; Rea, Francesco; Noceti, Nicoletta; Sciutti, Alessandra; Odone, Francesca; Sandini, Giulio
Comparison of knowledge sharing strategies in a parallel QBF solver 1-gen-2009 P., Marin; Narizzano, Massimo; Giunchiglia, Enrico; M. D. T., Lewis; T., Schubert; B., Becker
If looks could kill: Humanoid robots play a gaze-based social game with humans 1-gen-2016 Palinko, Oskar; Sciutti, Alessandra; Wakita, Yujin; Matsumoto, Yoshio; Sandini, Giulio
Estimating human actions affinities across views 1-gen-2015 Noceti, Nicoletta; Sciutti, Alessandra; Rea, Francesco; Odone, Francesca; Sandini, Giulio
Gaze contingency in turn-taking for human robot interaction: Advantages and drawbacks 1-gen-2015 Palinko, Oskar; Sciutti, Alessandra; Schillingmann, Lars; Rea, Francesco; Nagai, Yukie; Sandini, Giulio
Cognition helps vision: Recognizing biological motion using invariant dynamic cues 1-gen-2015 Noceti, Nicoletta; Sciutti, Alessandra; Sandini, Giulio
Eye gaze tracking for a humanoid robot 1-gen-2015 Palinko, Oskar; Rea, Francesco; Sandini, Giulio; Sciutti, Alessandra
Saliency based sensor fusion of broadband sound localizer for humanoids 1-gen-2015 Mosadeghzad, Mohamad; Rea, Francesco; Tata, Matthew S.; Brayda, Luca; Sandini, Giulio
Scegliere con la testa: effetti di “embodiment” nell’espressione di preferenze, 1-gen-2016 Moretti, Stefania; Greco, Alberto
Learning for verification in embedded systems: A case study 1-gen-2016 Khalili, Ali; Narizzano, Massimo; Tacchella, Armando
Learning in physical domains: Mating safety requirements and costly sampling 1-gen-2016 Leofante, Francesco; Tacchella, Armando
A reappraisal of the Bose-Einstein model of the CSVI task: New experimental data, replications, and implications 1-gen-2016 Morra, S.; Muscella, Lorenzo
An Analysis of Backjumping and Trivial Truth in Quantified Boolean Formulas Satisfiability 1-gen-2001 Giunchiglia, Enrico; Narizzano, Massimo; Tacchella, Armando
A Multi-Formalism Framework To Generate Diagnostic Decision Support Systems 1-gen-2016 Cicala, Giuseppe; DE LUCA, Marco; Oreggia, Marco; Tacchella, Armando
Introducing computer engineering curriculum to upper secondary students: An evaluation of experiences based on educational robotics 1-gen-2016 Oreggia, Marco; Chiorri, Carlo; Tacchella, Armando; Pozzi, Francesca
Combining static and runtime methods to achieve safe standing-up for humanoid robots 1-gen-2016 Leofante, Francesco; Vuotto, Simone; Ábrahám, Erika; Tacchella, Armando; Jansen, Nils
Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 5.801 a 5.820 di 27.403
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

Scopri
Tipologia
  • 04- Contributo in atti di convegno27403
  • 01- Contributo su rivista1
Autore
  • BRUZZONE, AGOSTINO365
  • REGAZZONI, CARLO344
  • PASTORINO, MATTEO304
  • RANDAZZO, ANDREA251
  • REVETRIA, ROBERTO238
  • MARCHESE, MARIO233
  • ROLI, FABIO233
  • SILVESTRO, FEDERICO217
  • CANAVESE, FEDERICO213
  • LAGOMARSINO, SERGIO206
Data di pubblicazione
  • In corso di stampa70
  • 2020 - 20274568
  • 2010 - 20199180
  • 2000 - 20098653
  • 1990 - 19993803
  • 1980 - 19891033
  • 1970 - 197996
Editore
  • Institute of Electrical and Elect...954
  • IEEE944
  • Springer263
  • Springer Science and Business Med...196
  • IEEE Computer Society195
  • Springer Verlag173
  • Elsevier B.V.116
  • American Society of Mechanical En...106
  • CEUR-WS106
  • Genova University Press80
Rivista
  • POS PROCEEDINGS OF SCIENCE92
  • JOURNAL OF PHYSICS. CONFERENCE SE...86
  • E3S WEB OF CONFERENCES56
  • LECTURE NOTES IN COMPUTER SCIENCE37
  • ATTI (CENTRO LIGURE PER LA STORIA...21
  • ...SUMMER SCHOOL FRANCESCO TURCO....20
  • AIP CONFERENCE PROCEEDINGS19
  • EPJ WEB OF CONFERENCES17
Serie
  • LECTURE NOTES IN ARTIFICIAL INTEL...136
  • CEUR WORKSHOP PROCEEDINGS121
  • LECTURE NOTES IN COMPUTER SCIENCE102
  • LECTURE NOTES IN ELECTRICAL ENGIN...80
  • IFAC-PAPERSONLINE66
  • PROCEEDINGS OF SPIE, THE INTERNAT...32
  • COMMUNICATIONS IN COMPUTER AND IN...27
  • LECTURE NOTES IN CIVIL ENGINEERING26
  • ADVANCES IN NEURAL INFORMATION PR...25
  • LECTURE NOTES IN NETWORKS AND SYS...22
Keyword
  • Electrical and Electronic Enginee...135
  • Artificial Intelligence133
  • Computer Science (all)123
  • Computer Networks and Communications110
  • Computer Science Applications1707...106
  • Software101
  • Control and Systems Engineering98
  • Humans96
  • Simulation95
  • Theoretical Computer Science94
Lingua
  • eng19870
  • ita7301
  • fre270
  • spa153
  • rus36
  • ger28
  • grc17
  • lat16
  • por16
  • und14
Accesso al fulltext
  • no fulltext23005
  • reserved2661
  • open1708
  • partially open20
  • restricted9