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.781 a 5.800 di 7.939
Titolo Data di pubblicazione Autore(i) File
Evaluations of the LODE Temporal Reasoning Tool with Hearing and Deaf Children 1-gen-2009 B., Arfe'; R., Gennari; Mich, Ornella
Evaluation of an Intelligent E-Tool for Deaf Children 1-gen-2008 R., Gennari; Mich, Ornella
Designing and Assessing an Intelligent E-Tool for Deaf Children 1-gen-2008 R., Gennari; Mich, Ornella
Evaluation of Software Tools with Deaf Children 1-gen-2009 Mich, Ornella
Honest Signals in the Recognition of Functional Relational Roles in Meetings 1-gen-2009 Lepri, Bruno; A., Mani; A., Pentland; Pianesi, Fabio
Ipoacusia a Scuola: il Contributo delle Nuove Tecnologie 1-gen-2010 F., Fusillo; Mich, Ornella; M. S., Mazzi
An Internet-Based Tool for Knocking Down Deaf children Barriers to Learning 1-gen-2009 C., Vettori; Mich, Ornella
Automatic Prediction of Individual Performance from Thin Slices of Behavior 1-gen-2009 Lepri, Bruno; Mana, Nadia; Cappelletti, Alessandro; Pianesi, Fabio
Netcarity Multimodal Data Collection 1-gen-2009 Cappelletti, Alessandro; Lepri, Bruno; Mana, Nadia; Pianesi, Fabio; Zancanaro, Massimo
Modelling the Personality of Participants during Group Interactions 1-gen-2009 Lepri, Bruno; Mana, Nadia; Cappelletti, Alessandro; Pianesi, Fabio; Zancanaro, Massimo
Segregation of impurities at grain boundaries and other compositional inhomogeneities in chill-casted silicon ingots 1-gen-1982 S., Pizzini; L., Braicovich; Calliari, Lucia; M., Gasparini; C. M., Mari; F., Redaelli; M., Sancrotti
Model Checking of Hybrid Systems using Shallow Synchronization 1-gen-2010 Lei, Bu; Cimatti, Alessandro; Xuandong, Li; Mover, Sergio; Tonetta, Stefano
Semi-Formal Functional Verification by EFSM traversing via NuSMV 1-gen-2010 Giuseppe Di, Guglielmo; Franco, Fummi; Graziano, Pravadelli; Roveri, Marco; Stefano, Soffia
RATSY - A new Requirements Analysis Tool with Synthesis 1-gen-2010 Roderick, Bloem; Cimatti, Alessandro; Karin, Greimel; Georg, Hofferek; Robert, Koenighofer; Roveri, Marco; Schuppan, Viktor; Richard, Seeber
A NuSMV Extension for Graded-CTL Model Checking 1-gen-2010 Ferrante, Alessandro; Maurizio, Memoli; Margherita, Napoli; Mimmo, Parente; Francesco, Sorrentino
A Model Checker for AADL 1-gen-2010 Bozzano, Marco; Cimatti, Alessandro; Joost Pieter, Katoen; Viet Yen, Nguyen; Thomas, Noll; Roveri, Marco; Ralf, Wimmer
A 200mA 93% Peak Efficiency Single Inductor Dual Output DC-DC Buck Converter 1-gen-2007 E., Bonizzoni; Borghetti, Fausto; P., Malcovati; F., Maloberti; B., Niessen
Formalization and Validation of Safety-Critical Requirements 1-gen-2010 Cimatti, Alessandro; Roveri, Marco; Susi, Angelo; Tonetta, Stefano
Polar Charts in SOA Migration Projects to Improve Communication between Managers and Programmers 1-gen-2010 Ricca, Filippo; Marchetto, Alessandro
Under and Over Approximation of State Models Recovered for Ajax Applications 1-gen-2010 Marchetto, Alessandro; Tonella, Paolo; Ricca, Filippo
Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 5.781 a 5.800 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