04.1 Saggio in atti di convegno (Paper in Proceedings): [20247] Home page tipologia

Sfoglia
Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 4.301 a 4.320 di 20.247
Titolo Anno di pubblicazione Autori Unitn File
Filling the gaps: Predicting missing joints of human poses using denoising autoencoders 1-gen-2019 Rota P.Beyan C. +
Benefits of area-wide traffic calming measures: outcomes still to assess 1-gen-2008 GUERRIERI M +
Counting Database Repairs under Primary Keys Revisited 1-gen-2019 Marco Calautti +
Checking Termination of Datalog with Function Symbols Through Linear Constraints 1-gen-2015 Marco Calautti +
A Hybrid Approach for Multimedia Use Verification 1-gen-2016 Phan, Quoc TinPasquini, CeciliaDe Natale, Francesco +
A CEGAR-based Approach for Proving Invariant Properties of Transition Systems on Non-Linear Real Arithmetic 1-gen-2016 Alessandro CimattiAhmed IrfanAlberto GriggioMarco RoveriRoberto Sebastiani
Incremental Linearization: A practical approach to Satisfiability Modulo Nonlinear Arithmetic and Transcendental Functions 1-gen-2019 Alessandro CimattiAlberto GriggioAhmed IrfanMarco RoveriRoberto Sebastiani
Counting Database Repairs under Primary Keys Revisited 1-gen-2019 Marco Calautti +
Application of the fire safety engineering to a multi-storey steel building 1-gen-2019 Nicola Tondini +
Modello di capacità e valutazione delle prestazioni per le rotatorie a turbina 1-gen-2008 GUERRIERI, Marco +
Effetti locali e d'area generati dalle misure di moderazione della velocità. Un bilancio da considerare in sede di pianificazione 1-gen-2008 GUERRIERI M +
Le linee tranviarie in ambito urbano: condizioni di sicurezza nelle intersezioni stradali e provvedimenti per la tutela delle utenze deboli 1-gen-2010 GUERRIERI M +
Il sistema tranviario e la mobilità sostenibile: il caso dei parchi 1-gen-2008 GUERRIERI M +
Traffic calming benefits: case studies from Italy 1-gen-2011 GUERRIERI M +
Nuovi schemi geometrici di intersezioni stradali per l’incremento della capacita e della sicurezza 1-gen-2011 GUERRIERI M +
Soluzioni innovative per le intersezioni stradali: un caso di turbo-rotatoria 1-gen-2010 GUERRIERI M
From War Hero to Slave to Love: On the Reception of Achilles on Scyros in the Renaissance 1-gen-2020 Galizzi Kroegel, Alessandra
Imparare a quantificare guardando 1-gen-2016 Pezzelle, SandroSorodoc, Ionut-teodorHerbelot, AurelieBernardi, Raffaella
Jointly learning to see, ask, decide when to stop, and then GuessWhat 1-gen-2019 Shekhar RaviTestoni AlbertoBernardi Raffaella +
Quantifiers in a MultimodalWorld: Hallucinating Vision with Language and Sound 1-gen-2019 Testoni AlbertoPezzelle SandroBernardi Raffaella
Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 4.301 a 4.320 di 20.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

Scopri
Tipologia
  • 04 Convegni (Proceedings)20245
  • 03 Contributo in periodico (Part ...3
  • 02 Contributo in volume (Part of ...1
Autore
  • Massa, Andrea651
  • Bruzzone, Lorenzo389
  • Sebe, Niculae379
  • Rocca, Paolo333
  • Oliveri, Giacomo320
  • Giunchiglia, Fausto301
  • Ragazzi, Marco257
  • Molinari, Alberto233
  • Mylopoulos, Ioannis220
  • Giorgini, Paolo207
Data di pubblicazione
  • In corso di stampa42
  • 2020 - 20263320
  • 2010 - 20197194
  • 2000 - 20096477
  • 1990 - 19992662
  • 1980 - 1989495
  • 1970 - 197948
  • 1964 - 19699
Editore
  • IEEE2266
  • Institute of Electrical and Elect...952
  • Springer898
  • ACM389
  • IEEE Computer Society312
  • Springer Verlag294
  • SPIE181
  • Association for Computational Lin...170
  • CEUR-WS167
  • Association for Computing Machinery161
Rivista
  • JOURNAL OF PHYSICS. CONFERENCE SE...66
  • POS PROCEEDINGS OF SCIENCE45
  • IJCAI28
  • LECTURE NOTES IN COMPUTER SCIENCE21
  • AIP CONFERENCE PROCEEDINGS12
  • INTERNATIONAL ARCHIVES OF THE PHO...12
  • PROCEDIA STRUCTURAL INTEGRITY11
  • PROCEEDINGS OF SPIE, THE INTERNAT...11
  • MATEC WEB OF CONFERENCES10
  • E3S WEB OF CONFERENCES9
Serie
  • LECTURE NOTES IN COMPUTER SCIENCE679
  • CEUR WORKSHOP PROCEEDINGS259
  • PROCEEDINGS OF SPIE, THE INTERNAT...172
  • IEEE INTERNATIONAL GEOSCIENCE AND...136
  • LECTURE NOTES IN COMPUTER SCIENCE112
  • LECTURE NOTES IN ARTIFICIAL INTEL...93
  • DIGEST - IEEE ANTENNAS AND PROPAG...59
  • PROCEEDINGS - IEEE COMPUTER SOCIE...55
  • IEEE INTERNATIONAL GEOSCIENCE AND...54
  • IFAC-PAPERSONLINE50
Settore disciplinare
  • Settore M-FIL/02 - Logica e Filos...56
  • Settore ING-INF/05 - Sistemi di E...30
  • Settore INF/01 - Informatica21
  • Settore ING-INF/01 - Elettronica14
  • Settore ING-INF/07 - Misure Elett...12
  • Settore ING-INF/03 - Telecomunica...8
  • Settore MAT/05 - Analisi Matematica8
  • Settore ICAR/14 - Composizione Ar...7
  • Settore ING-IND/22 - Scienza e Te...5
  • Settore L-ANT/08 - Archeologia Cr...5
Keyword
  • Computer Networks and Communications149
  • Computer Science Applications1707...144
  • Electrical and Electronic Enginee...138
  • Software108
  • Computer Science (all)103
  • Theoretical Computer Science85
  • Control and Systems Engineering71
  • 170761
  • Artificial Intelligence53
  • Modeling and Simulation49
Lingua
  • eng15182
  • ita3560
  • und133
  • fre96
  • spa74
  • ger61
  • por20
  • tur8
  • rus5
  • enm3
Accesso al fulltext
  • no fulltext14991
  • reserved3240
  • open1520
  • partially open486
  • mixed8
  • embargoed2