Weighted Model Counting in FO2 with Cardinality Constraints and Counting Quantifiers: A Closed Form Formula
2022-01-01 Malhotra, Sagar; Serafini, Luciano
The VMT-LIB Language and Tools
2022-01-01 Cimatti, Alessandro; Griggio, Alberto; Tonetta, Stefano
An agent-based approach to automated game testing: an experience report
2022-01-01 Prasetya, I. S. W. B.; Pastor Ricos, Fernando; Kifetew, Fitsum Meshesha; Prandi, Davide; Shirzadehhajimahmood, Samira; Vos, Tanja E. J.; Paska, Premysl; Hovorka, Karel; Ferdous, Raihana; Susi, Angelo; Davidson, Joseph
Extreme value analysis of the impact of the effective gap tolerance on the acoustic transmit and receive performance of reverse-CMUT arrays
2022-01-01 La Mura, Monica; Bagolini, Alvise; Lamberti, Patrizia; Savoia, Alessandro S.
Orientation of images with low contrast textures and transparent objects
2022-01-01 Morelli, L.; Karami, A.; Menna, F.; Remondino, F.
Does Simultaneous Speech Translation need Simultaneous Models?
2022-01-01 Papi, Sara; Gaido, Marco; Negri, Matteo; Turchi, Marco
Bootstrapping semantics on the web
2006-01-01 Bouquet, Paolo; Serafini, Luciano; Zanobini, Stefano; Sceffer, Simone
View-Specific Assessment of L2 Spoken English
2022-01-01 Bannò, Stefano; Balusu, Bhanu; Gales, Mark J. F.; Knill, Kate M.; Kyriakopoulos, Konstantinos
Cross-corpora experiments of automatic proficiency assessment and error detection for spoken English
2022-01-01 Bannò, Stefano; Matassoni, Marco
A novel fully digital particle detector with high spatial resolution
2022-01-01 Franks, Matthew; Massari, Nicola; Parmesan, Luca; Casse, Gianluigi
Photogrammetry now and then - from hand-crafted to deep-learning tie points -
2022-01-01 Morelli, L.; Bellavia, F.; Menna, F.; Remondino, F.
Action cams and low-cost multi-frequency antennas for GNSS assisted photogrammetric application without ground control points
2022-01-01 Morelli, L.; Menna, F.; Vitti, A.; Remondino, F.
Challenges in Image Matching for Cultural Heritage: An Overview and Perspective
2022-01-01 Bellavia, F.; Colombo, C.; Morelli, L.; Remondino, F.
EvoMBT at the SBST 2022 tool competition
2022-01-01 Ferdous, Raihana; Hung, Chia-kang; Kifetew, Fitsum Meshesha; Prandi, Davide; Susi, Angelo
Graph-Based Generative Face Anonymisation with Pose Preservation
2022-01-01 Dall'Asen, Nicola; Wang, Yiming; Tang, Hao; Zanella, Luca; Ricci, Elisa
Conditioned Variational Autoencoder for Top-N Item Recommendation
2022-01-01 Carraro, Tommaso; Polato, Mirko; Bergamin, Luca; Aiolli, Fabio
Theoretical approach to estimate the probability of strata convergence: implications for mining induced fractures and potential health risk
2018-01-01 Ghosh, Raktim
Autoencoding approach to the cloud removal problem
2017-01-01 Malek, Salim; Melgani, Farid
An automatic approach for palm tree counting in UAV images
2014-01-01 Bazi, Yakoub; Malek, Salim; Alajlan, Naif; Alhichri, Haikel
A monolithic SPAD-based random number generator for cryptographic application
2022-01-01 Massari, Nicola; Tontini, Alessandro; Parmesan, Luca; Perenzoni, Matteo; Grujic, Milos; Verbauwhede, Ingrid; Strohm, Thomas; Oshinubi, Dayo; Herrmann, Ingo; Brenneis, Andreas
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Weighted Model Counting in FO2 with Cardinality Constraints and Counting Quantifiers: A Closed Form Formula | 1-gen-2022 | Malhotra, Sagar; Serafini, Luciano | |
| The VMT-LIB Language and Tools | 1-gen-2022 | Cimatti, Alessandro; Griggio, Alberto; Tonetta, Stefano | |
| An agent-based approach to automated game testing: an experience report | 1-gen-2022 | Prasetya, I. S. W. B.; Pastor Ricos, Fernando; Kifetew, Fitsum Meshesha; Prandi, Davide; Shirzadehhajimahmood, Samira; Vos, Tanja E. J.; Paska, Premysl; Hovorka, Karel; Ferdous, Raihana; Susi, Angelo; Davidson, Joseph | |
| Extreme value analysis of the impact of the effective gap tolerance on the acoustic transmit and receive performance of reverse-CMUT arrays | 1-gen-2022 | La Mura, Monica; Bagolini, Alvise; Lamberti, Patrizia; Savoia, Alessandro S. | |
| Orientation of images with low contrast textures and transparent objects | 1-gen-2022 | Morelli, L.; Karami, A.; Menna, F.; Remondino, F. | |
| Does Simultaneous Speech Translation need Simultaneous Models? | 1-gen-2022 | Papi, Sara; Gaido, Marco; Negri, Matteo; Turchi, Marco | |
| Bootstrapping semantics on the web | 1-gen-2006 | Bouquet, Paolo; Serafini, Luciano; Zanobini, Stefano; Sceffer, Simone | |
| View-Specific Assessment of L2 Spoken English | 1-gen-2022 | Bannò, Stefano; Balusu, Bhanu; Gales, Mark J. F.; Knill, Kate M.; Kyriakopoulos, Konstantinos | |
| Cross-corpora experiments of automatic proficiency assessment and error detection for spoken English | 1-gen-2022 | Bannò, Stefano; Matassoni, Marco | |
| A novel fully digital particle detector with high spatial resolution | 1-gen-2022 | Franks, Matthew; Massari, Nicola; Parmesan, Luca; Casse, Gianluigi | |
| Photogrammetry now and then - from hand-crafted to deep-learning tie points - | 1-gen-2022 | Morelli, L.; Bellavia, F.; Menna, F.; Remondino, F. | |
| Action cams and low-cost multi-frequency antennas for GNSS assisted photogrammetric application without ground control points | 1-gen-2022 | Morelli, L.; Menna, F.; Vitti, A.; Remondino, F. | |
| Challenges in Image Matching for Cultural Heritage: An Overview and Perspective | 1-gen-2022 | Bellavia, F.; Colombo, C.; Morelli, L.; Remondino, F. | |
| EvoMBT at the SBST 2022 tool competition | 1-gen-2022 | Ferdous, Raihana; Hung, Chia-kang; Kifetew, Fitsum Meshesha; Prandi, Davide; Susi, Angelo | |
| Graph-Based Generative Face Anonymisation with Pose Preservation | 1-gen-2022 | Dall'Asen, Nicola; Wang, Yiming; Tang, Hao; Zanella, Luca; Ricci, Elisa | |
| Conditioned Variational Autoencoder for Top-N Item Recommendation | 1-gen-2022 | Carraro, Tommaso; Polato, Mirko; Bergamin, Luca; Aiolli, Fabio | |
| Theoretical approach to estimate the probability of strata convergence: implications for mining induced fractures and potential health risk | 1-gen-2018 | Ghosh, Raktim | |
| Autoencoding approach to the cloud removal problem | 1-gen-2017 | Malek, Salim; Melgani, Farid | |
| An automatic approach for palm tree counting in UAV images | 1-gen-2014 | Bazi, Yakoub; Malek, Salim; Alajlan, Naif; Alhichri, Haikel | |
| A monolithic SPAD-based random number generator for cryptographic application | 1-gen-2022 | Massari, Nicola; Tontini, Alessandro; Parmesan, Luca; Perenzoni, Matteo; Grujic, Milos; Verbauwhede, Ingrid; Strohm, Thomas; Oshinubi, Dayo; Herrmann, Ingo; Brenneis, Andreas |
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 ...7970
Data di pubblicazione
- In corso di stampa2
- 2020 - 20271592
- 2010 - 20193441
- 2000 - 20092320
- 1990 - 1999567
- 1980 - 198948
Editore
- IEEE622
- Springer357
- ACM148
- Association for Computational Lin...93
- CEUR-WS.org72
- IEEE Computer Society61
- SPIE60
- ACL38
- AAAI Press37
- European Language Resources Assoc...31
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 SCIENCE231
- 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...19
- 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
- eng6482
- ita159
- ger15
- spa6
- fre5
- enm4
- cze1
- lat1
- rum1
Accesso al fulltext
- no fulltext6834
- open494
- restricted474
- reserved165
- partially open2
- mixed1