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): 4.481 a 4.500 di 7.939
Titolo Data di pubblicazione Autore(i) File
Quantifier-free encoding of hybrid systems with non-linear dynamics 1-gen-2012 Cimatti, Alessandro; Mover, Sergio; Tonetta, Stefano
A Property-Based Proof System for Contract-Based Design 1-gen-2012 Cimatti, Alessandro; Tonetta, Stefano
Context on the Semantic Web: Why and How 1-gen-2012 Bozzato, Loris; Homola, Martin; Serafini, Luciano
HyDI: A Language for Symbolic Hybrid Systems with Discrete Interaction 1-gen-2011 Cimatti, Alessandro; Mover, Sergio; Tonetta, Stefano
SMT-Based Verification of Hybrid Systems 1-gen-2012 Cimatti, Alessandro; Mover, Sergio; Tonetta, Stefano
The IWSLT 2011 Evaluation Campaign on Automatic Talk Translation 1-gen-2012 Federico, Marcello; S., Stüker; Bentivogli, Luisa; M., Paul; Cettolo, Mauro; T., Herrmann; J., Niehues; G., Moretti
Recent results in the infrared sector of QCD 1-gen-2012 Binosi, Daniele
Evaluating the Learning Curve of Domain Adaptive Statistical Machine Translation Systems 1-gen-2012 Bertoldi, Nicola; Cettolo, Mauro; Federico, Marcello; Christian, Buck
The AVANTSSAR Platform for the Automated Validation of Trust and Security of Service-Oriented Architectures 1-gen-2012 Armando, Alessandro; W., Arsac; T., Avanesov; M., Barletta; A., Calvi; A., Cappai; Carbone, Roberto; Y., Chevalier; L., Compagna; J., Cuéllar; G., Erzse; S., Frau; M., Minea; S., Mödersheim; D., von Oheimb; G., Pellegrino; S. E., Ponta; M., Rocchetto; M., Rusinowitch; M., Torabi Dashti; M., Turuani; L., Viganò
OthelloPlay: a plug-in based tool for requirement formalization and validation 1-gen-2011 Cavada, Roberto; Cimatti, Alessandro; Micheli, Andrea; Roveri, Marco; Susi, Angelo; Tonetta, Stefano
Analysis of the Characteristics of Talk-show TV Programs 1-gen-2012 Brugnara, Fabio; Falavigna, Giuseppe Daniele; Giuliani, Diego; Gretter, Roberto
Solving Temporal Problems using SMT: Weak Controllability 1-gen-2012 Cimatti, Alessandro; Micheli, Andrea; Roveri, Marco
WIT3: Web Inventory of Transcribed and Translated Talks 1-gen-2012 Cettolo, Mauro; Girardi, Christian; Federico, Marcello
Solving Temporal Problems using SMT: Strong Controllability 1-gen-2012 Cimatti, Alessandro; Micheli, Andrea; Roveri, Marco
Gestion et formalisation de la connaissance tacite des maîtres-artisans de la Calabre 1-gen-2008 R., Guarasci; Cardillo, Elena; A., Cosentino; A., Folino; M., Taverniti
Extracting Context-Rich Entailment Rules from Wikipedia Revision History 1-gen-2012 Elena, Cabrio; Magnini, Bernardo; Angelina, Ivanova
Improving the Recall of a Discourse Parser by Constraint-based Postprocessing 1-gen-2012 Sucheta, Ghosh; Richard, Johansson; Giuseppe, Riccardi; Tonelli, Sara
The KnowledgeStore: an Entity-Based Storage System 1-gen-2012 Cattoni, Roldano; Corcoglioniti, Francesco; Girardi, Christian; Magnini, Bernardo; Serafini, Luciano; Zanoli, Roberto
Acoustic Model Adaptation Using Piece-wise Energy Decay Curve for Reverberant Environments 1-gen-2012 Mohammed, Abdul Waheed; Matassoni, Marco; Maganti, Hari Krishna; Omologo, Maurizio
Discovery of Environmental Nodes in the Web 1-gen-2012 Anastasia, Moumtzidou; Stefanos, Vrochidis; Tonelli, Sara; Ioannis, Kompatsiaris; Pianta, Emanuele
Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 4.481 a 4.500 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