Reactive Synthesis from Extended Bounded Response LTL Specifications
2020-01-01 Cimatti, Alessandro; Geatti, Luca; Gigante, Nicola; Montanari, Angelo; Tonetta, Stefano
Verifiable Contracting
2020-01-01 Nóbrega Gonçalves, Sérgio Manuel; Tomasi, Alessandro; Bisegna, Andrea; Pellizzari, Giulio; Ranise, Silvio
Enroll, and Authentication Will Follow
2020-01-01 Ranise, Silvio; Sciarretta, Giada; Tomasi, Alessandro
Simple Data Augmentation for Multilingual NLU in Task Oriented Dialogue Systems
2020-01-01 Louvan, Samuel; Magnini, Bernardo
How Far Can We Go with Data Selection? A Case Study on Semantic Sequence Tagging Tasks
2020-01-01 Louvan, Samuel; Magnini, Bernardo
Combining multi-task learning with transfer learning for biomedical named entity recognition
2020-01-01 Mehmood, Tahir; Gerevini, Alfonso; Lavelli, Alberto; Serina, Ivan
Deep learning for classification of radiology reports with a hierarchical schema
2020-01-01 Putelli, Luca; Gerevini, Alfonso; Lavelli, Alberto; Olivato, Matteo; Serina, Ivan
Recent Neural Methods on Slot Filling and Intent Classification for Task-Oriented Dialogue Systems: A Survey
2020-01-01 Louvan, Samuel; Magnini, Bernardo
From General to Specific: Leveraging Named Entity Recognition for Slot Filling in Conversational Language Understanding.
2018-01-01 Louvan, Samuel; Magnini, Bernardo
Experimental comparison of features and classifiers for Android malware detection
2020-01-01 Shar, Lwin Khin; Demissie, Biniam Fisseha; Ceccato, Mariano; Minn, Wei
Security testing of second order permission re-delegation vulnerabilities in Android apps
2020-01-01 Demissie, Biniam Fisseha; Ceccato, Mariano
Computing organoids’ volume in medical images: the case study of cystic fibrosis
2020-01-01 Lecca, Paola; Lecca, Michela; Melotti, Paola; Lotti, Virginia; Preato, Sara; Kleinfelder, Karina; Farinazzo, Alessia; Sorio, Claudio
Automated and Secure Integration of the OpenID Connect iGov Profile in Mobile Native Applications
2020-01-01 Sharif, Amir; Carbone, Roberto; Sciarretta, Giada; Ranise, Silvio
Stepwise potentiometric titration applied to bromine-bromide electrolytes
2019-01-01 Duranti, Mattia; Testi, Matteo; Macchi, Edoardo Gino; Crema, Luigi
What color for technology in Italy?
2020-01-01 Plutino, Alice; Simone, Gabriele; Lecca, Michela
Towards Distributed Contextualized Knowledge Repositories for Analysis of Large-Scale Knowledge Graphs
2020-01-01 Bozzato, Loris; Schuetz, Christoph G.
Look at me and grab this! Materiality and the practices around negotiation of social attention with children on the autistic spectrum
2020-01-01 Wierbiłowicz, Justyna; Cappelletti, Alessandro; Giovanelli, Davide; Pasqualotto, Angela; Bentenuto, Arianna; Farella, Elisabetta; Zancanaro, Massimo
A Low-Latency Initial Access Technique for next 5G Systems
2020-01-01 Leoni, Elia; Guidi, Francesco; Dardari, Davide
Reasoning on Information Term Semantics with ASP for Constructive EL_bot
2020-01-01 Bozzato, Loris; Fiorentini, Camillo
On the (Un)Reliability of Privacy Policies in Android Apps
2020-01-01 Verderame, Luca; Caputo, Davide; Romdhana, Andrea; Merlo, Alessio
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Reactive Synthesis from Extended Bounded Response LTL Specifications | 1-gen-2020 | Cimatti, Alessandro; Geatti, Luca; Gigante, Nicola; Montanari, Angelo; Tonetta, Stefano | |
| Verifiable Contracting | 1-gen-2020 | Nóbrega Gonçalves, Sérgio Manuel; Tomasi, Alessandro; Bisegna, Andrea; Pellizzari, Giulio; Ranise, Silvio | |
| Enroll, and Authentication Will Follow | 1-gen-2020 | Ranise, Silvio; Sciarretta, Giada; Tomasi, Alessandro | |
| Simple Data Augmentation for Multilingual NLU in Task Oriented Dialogue Systems | 1-gen-2020 | Louvan, Samuel; Magnini, Bernardo | |
| How Far Can We Go with Data Selection? A Case Study on Semantic Sequence Tagging Tasks | 1-gen-2020 | Louvan, Samuel; Magnini, Bernardo | |
| Combining multi-task learning with transfer learning for biomedical named entity recognition | 1-gen-2020 | Mehmood, Tahir; Gerevini, Alfonso; Lavelli, Alberto; Serina, Ivan | |
| Deep learning for classification of radiology reports with a hierarchical schema | 1-gen-2020 | Putelli, Luca; Gerevini, Alfonso; Lavelli, Alberto; Olivato, Matteo; Serina, Ivan | |
| Recent Neural Methods on Slot Filling and Intent Classification for Task-Oriented Dialogue Systems: A Survey | 1-gen-2020 | Louvan, Samuel; Magnini, Bernardo | |
| From General to Specific: Leveraging Named Entity Recognition for Slot Filling in Conversational Language Understanding. | 1-gen-2018 | Louvan, Samuel; Magnini, Bernardo | |
| Experimental comparison of features and classifiers for Android malware detection | 1-gen-2020 | Shar, Lwin Khin; Demissie, Biniam Fisseha; Ceccato, Mariano; Minn, Wei | |
| Security testing of second order permission re-delegation vulnerabilities in Android apps | 1-gen-2020 | Demissie, Biniam Fisseha; Ceccato, Mariano | |
| Computing organoids’ volume in medical images: the case study of cystic fibrosis | 1-gen-2020 | Lecca, Paola; Lecca, Michela; Melotti, Paola; Lotti, Virginia; Preato, Sara; Kleinfelder, Karina; Farinazzo, Alessia; Sorio, Claudio | |
| Automated and Secure Integration of the OpenID Connect iGov Profile in Mobile Native Applications | 1-gen-2020 | Sharif, Amir; Carbone, Roberto; Sciarretta, Giada; Ranise, Silvio | |
| Stepwise potentiometric titration applied to bromine-bromide electrolytes | 1-gen-2019 | Duranti, Mattia; Testi, Matteo; Macchi, Edoardo Gino; Crema, Luigi | |
| What color for technology in Italy? | 1-gen-2020 | Plutino, Alice; Simone, Gabriele; Lecca, Michela | |
| Towards Distributed Contextualized Knowledge Repositories for Analysis of Large-Scale Knowledge Graphs | 1-gen-2020 | Bozzato, Loris; Schuetz, Christoph G. | |
| Look at me and grab this! Materiality and the practices around negotiation of social attention with children on the autistic spectrum | 1-gen-2020 | Wierbiłowicz, Justyna; Cappelletti, Alessandro; Giovanelli, Davide; Pasqualotto, Angela; Bentenuto, Arianna; Farella, Elisabetta; Zancanaro, Massimo | |
| A Low-Latency Initial Access Technique for next 5G Systems | 1-gen-2020 | Leoni, Elia; Guidi, Francesco; Dardari, Davide | |
| Reasoning on Information Term Semantics with ASP for Constructive EL_bot | 1-gen-2020 | Bozzato, Loris; Fiorentini, Camillo | |
| On the (Un)Reliability of Privacy Policies in Android Apps | 1-gen-2020 | Verderame, Luca; Caputo, Davide; Romdhana, Andrea; Merlo, Alessio |
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 ...7921
Data di pubblicazione
- In corso di stampa5
- 2020 - 20261542
- 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...92
- 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 SCIENCE230
- LECTURE NOTES IN ARTIFICIAL INTEL...48
- CEUR WORKSHOP PROCEEDINGS38
- PROCEEDINGS OF SPIE, THE INTERNAT...25
- LECTURE NOTES IN COMPUTER SCIENCE22
- 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
- eng6417
- ita159
- ger15
- spa6
- fre5
- enm4
- cze1
- lat1
- rum1
Accesso al fulltext
- no fulltext6827
- open476
- restricted450
- reserved165
- partially open2
- mixed1