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): 6.121 a 6.140 di 7.939
Titolo Data di pubblicazione Autore(i) File
Combination of clean and contaminated GMM/SVM for far-field text-independent speaker verification 1-gen-2008 Zieger, Christian; Omologo, Maurizio
A co-located interface for narration to support reconciliation in a conflict: initial results from Jewish and Palestinian youth 1-gen-2008 Stock, Oliviero; Zancanaro, Massimo; C., Koren; C., Rocchi; Z., Eisikovits; D., Goren Bar; Tomasini, Daniel; T., Weiss
Strong Cyclic Planning Under Partial Observability 1-gen-2006 Bertoli, Piergiorgio; Cimatti, Alessandro; Pistore, Marco
Formal analysis of hardware requirements 1-gen-2006 I., Pill; S., Semprini; Cavada, Roberto; Roveri, Marco; R., Bloem; Cimatti, Alessandro
Symbolic Implementation of Alternating Automata 1-gen-2006 R., Bloem; Cimatti, Alessandro; I., Pill; Roveri, Marco; S., Semprini
A Simple and Flexible Way of Computing Small Unsatisfiable Cores in SAT Modulo Theories 1-gen-2007 Cimatti, Alessandro; Griggio, Alberto; Sebastiani, Roberto
Syntactic Optimizations for PSL Verification 1-gen-2007 Cimatti, Alessandro; Roveri, Marco; Tonetta, Stefano
A Lazy and Layered SMT ({BV}) Solver for Hard Industrial Verification Problems 1-gen-2007 Bruttomesso, Roberto; Cimatti, Alessandro; Anders, Franzen; Griggio, Alberto; Ziyad, Hanna; Alexander, Nadel; Amit, Palti; Sebastiani, Roberto
Boolean Abstraction for Temporal Logic Satisfiability 1-gen-2007 Cimatti, Alessandro; Roveri, Marco; Schuppan, Viktor; Tonetta, Stefano
Computing Predicate Abstractions by Integrating BDDs and SMT Solvers 1-gen-2007 Cavada, Roberto; Cimatti, Alessandro; Anders, Franzen; Kalyanasundaram, Krishnamani; Roveri, Marco; R. K., Shyamasundar
Efficient Interpolant Generation in Satisfiability Modulo Theories 1-gen-2008 Cimatti, Alessandro; Griggio, Alberto; Sebastiani, Roberto
Verifying Heap-Manipulating Programs in an SMT Framework 1-gen-2007 Zvonimir, Rakamaric; Bruttomesso, Roberto; Alan J., Hu; Cimatti, Alessandro
Symbolic Fault Tree Analysis for Reactive Systems 1-gen-2007 Bozzano, Marco; Cimatti, Alessandro; Francesco, Tapparo
Diagnostic Information for Realizability 1-gen-2008 Cimatti, Alessandro; Roveri, Marco; Schuppan, Viktor; Tchaltsev, Andrei
The MathSAT 4SMT Solver 1-gen-2008 Bruttomesso, Roberto; Cimatti, Alessandro; Anders, Franzen; Griggio, Alberto; Sebastiani, Roberto
FBK @ IWSLT-2008 1-gen-2008 Bertoldi, Nicola; Cattoni, Roldano; Federico, Marcello; Madalina, Barbaiani
Phrase-Based Statistical Machine Translation with Pivot Languages 1-gen-2008 Bertoldi, Nicola; Madalina, Barbaiani; Federico, Marcello; Cattoni, Roldano
Nanocomposite Photonic Glasses and Confined Structures Tailoring Er3+ Spectroscopic Properties 1-gen-2007 C., Armellini; P., Builjanovic; Chiappini, Andrea; Chiasera, Alessandro; Ferrari, Maurizio; M., Ivanda; Jestin, Yoann; M., Mattarelli; M., Montagna; Minati, Luca; E., Moser; G., Nunzi Conti; S., Pelli; G. C., Righini; Speranza, Giorgio; C., Tosello
Modelling Self-Adaptivity: A Goal-Oriented Approach 1-gen-2008 Morandini, Mirko; Penserini, Loris; Perini, Anna
Using Wrapper Agents to Answer Queries in Distributed Information Systems 1-gen-2000 Serafini, Luciano; Ghidini, Chiara
Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 6.121 a 6.140 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