IRIS Institutional Research Information System

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

Sfoglia
Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 5.181 a 5.200 di 7.939
Titolo Data di pubblicazione Autore(i) File
MEANS: Moving Effective Assonances for Novice Students 1-gen-2011 Özbal, Gözde; Strapparava, Carlo
An industrial case study using an MBE approach: from architecture to safety analysis. 1-gen-2010 Dalpez, Stefano; R., Passerone; D., Cancila; F., Terrier
Improving Public Administrations via Law Modeling 1-gen-2010 Ciaghi, Aaron; Villafiorita Monteleone, Adolfo
BART: A Multilingual Anaphora Resolution System 1-gen-2010 S., Broscheit; M., Poesio; S. P., Ponzetto; K., Joseba Rodriguez; Romano, Lorenza; O., Uryupina; Y., Versley; Zanoli, Roberto
Personal Health Records among institutions, medical records, and patient wisdom. A socio-technical approach 1-gen-2010 Purin, Barbara; Piras, Enrico Maria
Assessment of NER solutions against the first and second CALBC Silver Standard Corpus 1-gen-2010 D., Rebholz Schuhmann; A., Jimeno; C., Li; S., Kafkas; I., Lewin; N., Kang; P., Corbett; D., Milward; E., Buyko; E., Beisswanger; K., Hornbostel; A., Kouznetsov; R., Witte; J. B., Laurila; C. J., Baker; C. J., Kuo; S., Clematide; F., Rinaldi; R., Farkas; G., Móra; K., Hara; L., Furlong; M., Rautschka; M. L., Neves; A., Pascual Montano; Q., Wei; N., Collier; Chowdhury, Faisal Mahbub; Lavelli, Alberto; R., Berlanga; R., Morante; V., Van Asch; W., Daelemans; J. L., Marina; E., van Mulligen; J., Kors; U., Hahn
Chunk-Based Verb Reordering in VSO Sentences for Arabic-English Statistical Machine Translation 1-gen-2010 Bisazza, Arianna; Federico, Marcello
FBK at WMT 2010: Word Lattices for Morphological Reduction and Chunk-Based Reordering 1-gen-2010 Hardmeier, Christian; Bisazza, Arianna; Federico, Marcello
Language-oriented validation for dependency parsing evaluation 1-gen-2010 C., Bosco; Lavelli, Alberto
High Performance Deduction for verification: a case study in the theory of arrays 1-gen-2002 Armando, Alessandro; Bonacina, M. P.; Sehgal, A. K.; Ranise, Silvio; Rusinowitch, M.
Main Findings of the Evaluation Campaign 1-gen-2010 Michael, Paul; Federico, Marcello; Sebastian, Stüker
Modelling Pronominal Anaphora in Statistical Machine Translation 1-gen-2010 Hardmeier, Christian; Federico, Marcello
Automated Symbolic Analysis of ARBAC Policies 1-gen-2011 Armando, Alessandro; Ranise, Silvio
Automatic SAT-compilation of Protocol Insecurity Problems via Reduction to Planning 1-gen-2002 Armando, Alessandro; Campagna, L.
Symbolic Model-Checking of Linear Programs 1-gen-2002 Armando, Alessandro; De Lucia, P.
Formal Specification and Automatic Analysis of Business Processes under Authorization Constraints: an Action-based Approach 1-gen-2009 Armando, Alessandro; Giunchiglia, E.; Ponta, S. E.
Building SMT-based Software Model Checkers: an Experience Report 1-gen-2009 Armando, Alessandro
Model Checking of Security-sensitive Business Processes 1-gen-2010 Armando, Alessandro; Ponta, S. E.
Formal Analysis of SAML 2.0 Web Browser Single Sign-On: Breaking the SAML-based Single Sign-On for Google Apps. 1-gen-2008 Armando, Alessandro; Carbone, Roberto; Compagna, L.; Cuellar, J.; Tobarra, L.
Abstraction refinement of Linear Programs with Arrays 1-gen-2007 Armando, Alessandro; Benerecetti, M.; Mantovani, J.
Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 5.181 a 5.200 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