4.1 Contributo in Atti di convegno: [7939] Home page tipologia

Sfoglia
Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 4.541 a 4.560 di 7.939
Titolo Data di pubblicazione Autore(i) File
Psychological processes underlying Wikipedia representations of natural and manmade disasters 1-gen-2012 Ferron, Michela; Massa, Paolo
Manypedia: Comparing Language Points of View of Wikipedia Communities 1-gen-2012 Massa, Paolo; F., Scrinzi
REGIONAL LANGUAGES ON WIKIPEDIA: Venetian Wikipedia community interaction over time 1-gen-2012 Zelenkauskaite, Asta; Massa, Paolo
WikiTrip: animated visualization over time of geo-location and gender of Wikipedians who edited a page 1-gen-2012 Massa, Paolo; Napolitano, Maurizio; Federico, Scrinzi; Ferron, Michela
Towards a Security Oracle Based on Tree Kernel Methods 1-gen-2012 Avancini, Andrea; Ceccato, Mariano
An Investigation on Acceptance and Rejection of Public Displays in a Knowledge Company 1-gen-2012 Mencarini, Eleonora; Giusti, Leonardo; Zancanaro, Massimo
Boosting Model Checking to Analyse Large ARBAC Policies 1-gen-2013 Ranise, Silvio; Truong, Tuan Anh; Armando, Alessandro
On the Automated Analysis of Safety in Usage Control: A New Decidability Result 1-gen-2012 Ranise, Silvio; Armando, Alessandro
Automated Analysis of Scenario-based Specifications of Distributed Access Control Policies with Non-Mechanizable Activities 1-gen-2012 M., Barletta; Ranise, Silvio; L., Vigano
Efficient run-time solving of RBAC user authorization queries: pushing the envelope 1-gen-2012 Armando, Alessandro; Ranise, Silvio; F., Turkmen; B., Crispo
Automated and Efficient Analysis of Role-Based Access Control with Attributes 1-gen-2012 Armando, Alessandro; Ranise, Silvio
SAFARI: SMT-Based Abstraction for Arrays with Interpolants 1-gen-2012 F., Alberti; R., Bruttomesso; S., Ghilardi; Ranise, Silvio; N., Sharygina
From Strong Amalgamability to Modularity of Quantifier-Free Interpolation 1-gen-2012 R., Bruttomesso; S., Ghilardi; Ranise, Silvio
Automated Analysis of Parametric Timing-Based Mutual Exclusion Algorithms 1-gen-2012 R., Bruttomesso; A., Carioni; S., Ghilardi; Ranise, Silvio
Lazy Abstraction with Interpolants for Arrays 1-gen-2012 F., Alberti; R., Bruttomesso; S., Ghilardi; Ranise, Silvio; N., Sharygina
FBK: Exploiting Phrasal and Contextual Clues for Negation Scope Detection 1-gen-2012 Chowdhury, Faisal Mahbub
A Simple Yet Effective Approach for Named Entity Recognition from Transcribed Broadcast News 1-gen-2013 Chowdhury, Faisal Mahbub
Ontology-centric decision support 1-gen-2012 Rospocher, Marco; Serafini, Luciano
Coating Candidates Comparison and a Two-Zone Coating Strategy for Parabolic Trough 1-gen-2012 Alberti, Fabrizio; Cozzini, Marco; Crema, Luigi; Bartali, Ruben
Caratterizzazione meccanica e microstrutturale di un acciaio inossidabile AISI 316 prodotto con tecnologia Selective Laser Melting 1-gen-2012 B., Rivolta; R., Gerosa; E., Tecchiati; Crema, Luigi; Alberti, Fabrizio
Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 4.541 a 4.560 di 7.939
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
  • 4 Contributo in Atti di Convegno ...7938
Autore
  • Cimatti, Alessandro260
  • Remondino, Fabio256
  • Margesin, Benno203
  • Negri, Matteo203
  • Serafini, Luciano202
  • Lorenzelli, Leandro191
  • Magnini, Bernardo180
  • Federico, Marcello172
  • Tonella, Paolo172
  • Strapparava, Carlo169
Data di pubblicazione
  • In corso di stampa2
  • 2020 - 20261562
  • 2010 - 20193439
  • 2000 - 20092320
  • 1990 - 1999567
  • 1980 - 198948
Editore
  • IEEE620
  • Springer357
  • ACM148
  • Association for Computational Lin...91
  • CEUR-WS.org72
  • IEEE Computer Society61
  • SPIE60
  • ACL38
  • AAAI Press37
  • ieee31
Rivista
  • INTERNATIONAL ARCHIVES OF THE PHO...98
  • LECTURE NOTES IN COMPUTER SCIENCE41
  • POS PROCEEDINGS OF SCIENCE22
  • JOURNAL OF PHYSICS. CONFERENCE SE...21
  • PROCEEDINGS OF SPIE, THE INTERNAT...17
  • PROCEEDINGS14
  • CEUR WORKSHOP PROCEEDINGS13
  • THE INTERNATIONAL ARCHIVES OF THE...12
  • EPJ WEB OF CONFERENCES10
  • LECTURE NOTES IN ARTIFICIAL INTEL...9
Serie
  • LECTURE NOTES IN COMPUTER SCIENCE229
  • LECTURE NOTES IN ARTIFICIAL INTEL...48
  • CEUR WORKSHOP PROCEEDINGS38
  • PROCEEDINGS OF SPIE, THE INTERNAT...25
  • LECTURE NOTES IN COMPUTER SCIENCE23
  • LECTURE NOTES IN ELECTRICAL ENGIN...20
  • LECTURE NOTES IN ELECTRICAL ENGIN...17
  • LECTURE NOTES IN BUSINESS INFORMA...16
  • IEEE ENGINEERING IN MEDICINE AND ...11
  • ISPRS ANNALS OF THE PHOTOGRAMMETR...10
Keyword
  • NLP41
  • automatic speech recognition38
  • Content Processing33
  • MEMS31
  • RF-MEMS31
  • silicon radiation detectors28
  • SiPM26
  • RF MEMS25
  • machine translation23
  • Machine Translation22
Lingua
  • eng6441
  • ita159
  • ger15
  • spa6
  • fre5
  • enm4
  • cze1
  • lat1
  • rum1
Accesso al fulltext
  • no fulltext6824
  • open482
  • restricted464
  • reserved165
  • partially open2
  • mixed1