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.221 a 5.240 di 7.939
Titolo Data di pubblicazione Autore(i) File
Towards SMT Model Checking of Array-Based Systems 1-gen-2008 S., Ghilardi; E., Nicolini; Ranise, Silvio; D., Zucchelli
Verifying the Interplay of Authorization Policies and Workflow in Service-Oriented Architectures 1-gen-2009 M., Barletta; Ranise, Silvio; L., Viganò:
Goal-Directed Invariant Synthesis for Model Checking Modulo Theories 1-gen-2009 S., Ghilardi; Ranise, Silvio
Light-Weight SMT-based Model Checking 1-gen-2009 S., Ghilardi; Ranise, Silvio; T., Valsecchi
MCMT: A Model Checker Modulo Theories 1-gen-2010 S., Ghilardi; Ranise, Silvio
Brief Announcement: Automated Support for the Design and Validation of Fault Tolerant Parameterized Systems - A Case Study 1-gen-2010 F., Alberti; S., Ghilardi; E., Pagani; Ranise, Silvio; G. P., Rossi
A Fast Algorithm to Compress Gray Level Images 1-gen-1988 Bozzoli, Alessandro; M., Dell’Erba; G., Tadini
An Application of Binary Arithmetic Code to Colour Images 1-gen-1989 Bozzoli, Alessandro; M., Dell’Erba; G., Tadini
Esprit P5345 DIMUS: A Surveillance System Project 1-gen-1992 M., Ferrettino; Bozzoli, Alessandro
Low bit-rate coding by movement content oriented image segmentation 1-gen-1991 Bozzoli, Alessandro; M., Dell’Erba; G., Poggi; G., Zarone
An Application of Binary Arithmetic Code to Transform Methods 1-gen-1989 Bozzoli, Alessandro; M., Dell’Erba
A Reflex-based approach to Fusion of Visual Data 1-gen-1992 Bozzoli, Alessandro; R., Barbò; Caprile, Bruno Giovanni; M., Rossi; G., Carlevaro
Crowding evaluation: a visual reflex-based approach 1-gen-1993 Bozzoli, Alessandro; R., Barbò; Caprile, Bruno Giovanni; M., Rossi
Interpretazione di immagini e segnali multisensore per la sorveglianza di stazioni ferroviarie impresenziate 1-gen-1993 M., Ferrettino; M., Perotti; M., Peri; C., Regazzoni; Bozzoli, Alessandro; M., Omologo; Svaizer, Piergiorgio; D., Basili
Un sistema integrato per l’interpretazione di immagini e segnali multisensoriali per la sorveglianza di stazioni ferroviarie non presenziate 1-gen-1995 V., Murino; M., Ferrettino; Bozzoli, Alessandro; A., Crotti; P., Merenda; P., Ninniri
DIMUS: un'alternativa nella sorveglianza dei sistemi di trasporto 1-gen-1992 M., Ferrettino; Bozzoli, Alessandro
Un’applicazione dei sensori magnetoresistivi (AMR) per il controllo di difetti superficiali e subsuperficiali in laminati di acciaio inox 1-gen-2003 Bozzoli, Alessandro; Cicolini, Guido
Mining Parallel Fragments from Comparable Texts 1-gen-2010 Cettolo, Mauro; Federico, Marcello; Bertoldi, Nicola
FBK @ IWSLT 2010 1-gen-2010 Bisazza, Arianna; Klasinas, Ioannis; Cettolo, Mauro; Federico, Marcello
Service-Based Infrastructure for User-Oriented Environmental Information Delivery 1-gen-2010 Leo, Wanner; Harald, Bosch; Nadjet Bouayad, Agha; Ulrich, Bügel; Gerard, Casamayor; Thomas, Ertl; Ari, Karppinen; Ioannis, Kompatsiaris; Tarja, Koskentalo; Simon, Mille; Jürgen, Moßgraber; Anastasia, Moumtzidou; Maria, Myllynen; Pianta, Emanuele; Rospocher, Marco; Horacio, Saggion; Serafini, Luciano; Virpi, Tarvainen; Tonelli, Sara; Thomas, Usländer; Stefanos, Vrochidis
Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 5.221 a 5.240 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