Embedding speech recognition to control lights
2013-01-01 Sosi, Alessandro; Brugnara, Fabio; Cristoforetti, Luca; Matassoni, Marco; Ravanelli, Mirco; Omologo, Maurizio
Time-aware Relational Abstractions for Hybrid Systems
2013-01-01 Mover, Sergio; Cimatti, Alessandro; Tiwari, A.; Tonetta, Stefano
Maputo Living Lab Summer School of ICTs: An Experience Report
2013-01-01 Ciaghi, Aaron; Molini, Pietro Benedetto; Villafiorita Monteleone, Adolfo; Weldemariam, Komminist Sisai
Sviluppo di un sistema embedded di distant speech recognition
2013-01-01 Sosi, Alessandro; Brugnara, Fabio; Matassoni, Marco; Omologo, Maurizio; Ravanelli, Mirco
Social Accountability for Mozambique: an Experience Report from the Moamba District
2012-01-01 Ciaghi, Aaron; Eshete, Birhanu Mekuria; Molini, Pietro Benedetto; Villafiorita Monteleone, Adolfo
Formal Specification and Synthesis of FDI through an Example
2013-01-01 Bozzano, Marco; Cimatti, Alessandro; Gario, Marco Elio Gustavo; Tonetta, Stefano
A Formal Framework for the Specification, Verification and Synthesis of Diagnosers
2013-01-01 Bozzano, Marco; Cimatti, Alessandro; Gario, Marco Elio Gustavo; Tonetta, Stefano
SAMo: experimenting a social accountability web platform
2013-01-01 Ciaghi, Aaron; Eshete, Birhanu Mekuria; Molini, Pietro Benedetto; Villafiorita Monteleone, Adolfo
Geo-positional Image Forensics through Scene-Terrain Registration
2013-01-01 Chippendale, Paul Ian; Zanin, Michele; Dalla Mura, Mauro
Do Animations in Enhanced Ebooks for Children Favour the Reading Comprehension Process?: a Pilot Study
2013-01-01 N., Dalla Longa; Mich, Ornella
Audio-Augmented Paper for the Therapy of Low-Functioning Autism Children.
2013-01-01 Alessandrini, Andrea; Cappelletti, Alessandro; Zancanaro, Massimo
Using i* to Represent OSS Ecosystems for Risk Assessment
2013-01-01 Ayala, C. P.; Franch, X.; López, L.; Morandini, Mirko; Susi, Angelo
Bringing Together Online and Onsite Technologies to Support Large-Scale Civic Participation
2013-01-01 Schiavo, Gianluca; Milano, M.
A Modular Approach to MaxSAT Modulo Theories
2013-01-01 Cimatti, Alessandro; Griggio, Alberto; Bastiaan Joost, Schaafsma; Roberto, Sebastiani
Interpolation-Based Verification of Floating-Point Programs with Abstract CDCL
2013-01-01 Martin, Brain; Vijay, D’Silva; Griggio, Alberto; Leopold, Haller; Daniel, Kroening
The MathSAT5 SMT Solver
2013-01-01 Cimatti, Alessandro; Griggio, Alberto; Bastiaan Joost, Schaafsma; Roberto, Sebastiani
An Abstract Interpretation of DPLL(T)Verification, Model Checking, and Abstract Interpretation
2013-01-01 Martin, Brain; Vijay, D’Silva; Leopold, Haller; Griggio, Alberto; Daniel, Kroening
Audio Concept Ranking for Video Event Detection on User-Generated Content
2013-01-01 Benjamin, Elizalde; Ravanelli, Mirco; Gerald, Friedland
DISTANT TALKING SPEECH RECOGNITION IN SURGERY ROOM : THE DOMHOS PROJECT
2013-01-01 Ravanelli, Mirco; Sosi, Alessandro; Matassoni, Marco; Omologo, Maurizio; Matteo, Benetti; Giovanni, Pedrotti
Towards the Design of Technology for Measuring and Capturing Children’s Attention on E-learning Tasks
2013-01-01 Mana, Nadia; Mich, Ornella
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Embedding speech recognition to control lights | 1-gen-2013 | Sosi, Alessandro; Brugnara, Fabio; Cristoforetti, Luca; Matassoni, Marco; Ravanelli, Mirco; Omologo, Maurizio | |
| Time-aware Relational Abstractions for Hybrid Systems | 1-gen-2013 | Mover, Sergio; Cimatti, Alessandro; Tiwari, A.; Tonetta, Stefano | |
| Maputo Living Lab Summer School of ICTs: An Experience Report | 1-gen-2013 | Ciaghi, Aaron; Molini, Pietro Benedetto; Villafiorita Monteleone, Adolfo; Weldemariam, Komminist Sisai | |
| Sviluppo di un sistema embedded di distant speech recognition | 1-gen-2013 | Sosi, Alessandro; Brugnara, Fabio; Matassoni, Marco; Omologo, Maurizio; Ravanelli, Mirco | |
| Social Accountability for Mozambique: an Experience Report from the Moamba District | 1-gen-2012 | Ciaghi, Aaron; Eshete, Birhanu Mekuria; Molini, Pietro Benedetto; Villafiorita Monteleone, Adolfo | |
| Formal Specification and Synthesis of FDI through an Example | 1-gen-2013 | Bozzano, Marco; Cimatti, Alessandro; Gario, Marco Elio Gustavo; Tonetta, Stefano | |
| A Formal Framework for the Specification, Verification and Synthesis of Diagnosers | 1-gen-2013 | Bozzano, Marco; Cimatti, Alessandro; Gario, Marco Elio Gustavo; Tonetta, Stefano | |
| SAMo: experimenting a social accountability web platform | 1-gen-2013 | Ciaghi, Aaron; Eshete, Birhanu Mekuria; Molini, Pietro Benedetto; Villafiorita Monteleone, Adolfo | |
| Geo-positional Image Forensics through Scene-Terrain Registration | 1-gen-2013 | Chippendale, Paul Ian; Zanin, Michele; Dalla Mura, Mauro | |
| Do Animations in Enhanced Ebooks for Children Favour the Reading Comprehension Process?: a Pilot Study | 1-gen-2013 | N., Dalla Longa; Mich, Ornella | |
| Audio-Augmented Paper for the Therapy of Low-Functioning Autism Children. | 1-gen-2013 | Alessandrini, Andrea; Cappelletti, Alessandro; Zancanaro, Massimo | |
| Using i* to Represent OSS Ecosystems for Risk Assessment | 1-gen-2013 | Ayala, C. P.; Franch, X.; López, L.; Morandini, Mirko; Susi, Angelo | |
| Bringing Together Online and Onsite Technologies to Support Large-Scale Civic Participation | 1-gen-2013 | Schiavo, Gianluca; Milano, M. | |
| A Modular Approach to MaxSAT Modulo Theories | 1-gen-2013 | Cimatti, Alessandro; Griggio, Alberto; Bastiaan Joost, Schaafsma; Roberto, Sebastiani | |
| Interpolation-Based Verification of Floating-Point Programs with Abstract CDCL | 1-gen-2013 | Martin, Brain; Vijay, D’Silva; Griggio, Alberto; Leopold, Haller; Daniel, Kroening | |
| The MathSAT5 SMT Solver | 1-gen-2013 | Cimatti, Alessandro; Griggio, Alberto; Bastiaan Joost, Schaafsma; Roberto, Sebastiani | |
| An Abstract Interpretation of DPLL(T)Verification, Model Checking, and Abstract Interpretation | 1-gen-2013 | Martin, Brain; Vijay, D’Silva; Leopold, Haller; Griggio, Alberto; Daniel, Kroening | |
| Audio Concept Ranking for Video Event Detection on User-Generated Content | 1-gen-2013 | Benjamin, Elizalde; Ravanelli, Mirco; Gerald, Friedland | |
| DISTANT TALKING SPEECH RECOGNITION IN SURGERY ROOM : THE DOMHOS PROJECT | 1-gen-2013 | Ravanelli, Mirco; Sosi, Alessandro; Matassoni, Marco; Omologo, Maurizio; Matteo, Benetti; Giovanni, Pedrotti | |
| Towards the Design of Technology for Measuring and Capturing Children’s Attention on E-learning Tasks | 1-gen-2013 | Mana, Nadia; Mich, Ornella |
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
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