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.521 a 5.540 di 7.939
Titolo Data di pubblicazione Autore(i) File
Coherent spectra estimation for a robust solution to the permutation problem 1-gen-2009 Nesta, Francesco; T. S., Wada; B., Juang
A Resource for Investigating the Impact of Anaphora and Coreference on Inference 1-gen-2010 A., Abad; Bentivogli, Luisa; Dagan, Ido Kalman; Giampiccolo, Danilo; S., Mirkin; Pianta, Emanuele; A., Stern
Reconfigurable MEMS-enabled LC-tank for multi-band CMOS oscillator 1-gen-2005 R., Gaddi; A., Gnudi; E., Franchi; D., Guermandi; P., Tortori; Margesin, Benno; Giacomozzi, Flavio
Design of phase shifters based on RF MEMS shunt switches 1-gen-2005 Bartolucci, G.; Marcelli, R.; Minucci, G.; Catoni, S.; Margesin, Benno; Giacomozzi, Flavio
EVALUATION OF AUTOMATIC TRANSCRIPTION SYSTEMS FOR THE JUDICIAL DOMAIN 1-gen-2010 J., Loof; Falavigna, Giuseppe Daniele; R., Schluter; Giuliani, Diego; Gretter, Roberto; H., Ney
RF-MEMS TUNABLE NETWORKS FOR VCO APPLICATIONS 1-gen-2005 R., Gaddi; A., Gnudi; M., Bellei; Margesin, Benno; Giacomozzi, Flavio
An Automatic Transcription System of Hearings in Italian Courtrooms 1-gen-2010 Falavigna, Giuseppe Daniele; Gerosa, Matteo; Giuliani, Diego; Gretter, Roberto
Analysis of Realizability Conditions for Web Service Choreographies 1-gen-2006 Kazhamiakin, Raman; Pistore, Marco
Modelling and Analysis of Time-related Properties in Web Service Compositions 1-gen-2005 Kazhamiakin, Raman; P., Pandya; Pistore, Marco
Timed Modelling and Analysis in Web Service Compositions 1-gen-2006 Kazhamiakin, Raman; P., Pandya; Pistore, Marco
A Parametric Communication Model for the Verification of BPEL4WS Compositions 1-gen-2005 Kazhamiakin, Raman; Pistore, Marco
Choreography Conformance Analysis: Asynchronous Communications and Information Alignment 1-gen-2006 Kazhamiakin, Raman; Pistore, Marco
Analysis of Communication Models in Web Service Compositions 1-gen-2006 Kazhamiakin, Raman; Pistore, Marco; L., Santuari
Static Verification of Control and Data in Web Service Compositions 1-gen-2006 Kazhamiakin, Raman; Pistore, Marco
Representation, Verification, and Computation of Timed Properties in Web Service Compositions 1-gen-2006 Kazhamiakin, Raman; P., Pandya; Pistore, Marco
Verifying SystemC: a Software Model Checking Approach 1-gen-2010 Cimatti, Alessandro; Micheli, Andrea; Narasamdya, Iman; Roveri, Marco
Design and Verification of Web Services Compositions in the Telecommunication Domain 1-gen-2007 Bertoli, Piergiorgio; Laura, Ferrari; Kazhamiakin, Raman; Corrado, Moiso; Pistore, Marco; Ermes, Thuegaz
Agree or Change! Making Services Evolve 1-gen-2007 Traverso, Paolo; Pistore, Marco
Integrating Discovery and Automated Composition: from Semantic Requirements to Executable Code 1-gen-2007 Bertoli, Piergiorgio; Joerg, Hoffmann; Freddy, Lécué; Pistore, Marco
A Hybridized Planner for Stochastic Domains 1-gen-2007 Mausam, ; Bertoli, Piergiorgio; Daniel S., Weld
Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 5.521 a 5.540 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, Fabio255
  • 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
  • PROCEEDINGS OF SPIE10
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