Synthetic image generation for training deep learning-based automated license plate recognition systems on the Brazilian Mercosur standard G Silvano, V Ribeiro, V Greati, A Bezerra, I Silva, PT Endo, T Lynn Design Automation for Embedded Systems 25, 113-133, 2021 | 22 | 2021 |
Brazilian mercosur license plate detection: a deep learning approach relying on synthetic imagery V Ribeiro, V Greati, A Bezerra, G Silvano, I Silva, PT Endo, T Lynn 2019 IX Brazilian Symposium on Computing Systems Engineering (SBESC), 1-8, 2019 | 10 | 2019 |
Proof search on bilateralist judgments over non-deterministic semantics V Greati, S Marcelino, J Marcos International Conference on Automated Reasoning with Analytic Tableaux and …, 2021 | 9 | 2021 |
Artificial Mercosur license plates dataset GVT Silvano, I Silva, VCT Ribeiro, VR Greati, A Bezerra, PT Endo, T Lynn Data in Brief 33, 106554, 2020 | 8 | 2020 |
A Brazilian license plate recognition method for applications in smart cities VR Greati, VCT Ribeiro, IMD da Silva, A de Medeiros Martins 2017 IEEE First Summer School on Smart Cities (S3C), 43-48, 2017 | 8 | 2017 |
A visual protocol for autonomous landing of unmanned aerial vehicles based on fuzzy matching and evolving clustering BSJ Costa, VR Greati, VCT Ribeiro, CS da Silva, IF Vieira 2015 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE), 1-6, 2015 | 8 | 2015 |
Sodium-modified vermiculite for calcium ion removal from aqueous solution RRC Lima, PDS de Lima, VR Greati, PBF de Sousa, GVS Medeiros Industrial & Engineering Chemistry Research 58 (22), 9380-9389, 2019 | 7 | 2019 |
On logics of perfect paradefinite algebras J Gomes, V Greati, S Marcelino, J Marcos, U Rivieccio arXiv preprint arXiv:2106.09883, 2021 | 5 | 2021 |
Finite Two-Dimensional Proof Systems for Non-finitely Axiomatizable Logics. V Greati, J Marcos IJCAR, 640-658, 2022 | 3 | 2022 |
Enabling interactive visualizations in industrial big data A Bezerra, V Greati, V Campos, I Silva, LA Guedes, G Leitao, D Silva IFAC-PapersOnLine 53 (2), 11162-11167, 2020 | 3 | 2020 |
Hilbert-style formalism for two-dimensional notions of consequence VR Greati Universidade Federal do Rio Grande do Norte, 2022 | 2 | 2022 |
Finite Hilbert Systems for Weak Kleene Logics V Greati, S Marcelino, U Rivieccio Studia Logica, 1-27, 2024 | 1 | 2024 |
Generating proof systems for three-valued propositional logics V Greati, G Greco, S Marcelino, A Palmigiano, U Rivieccio arXiv preprint arXiv:2401.03274, 2024 | 1 | 2024 |
Hilbert calculi for the main fragments of Classical Logic VR Greati Universidade Federal do Rio Grande do Norte, 2019 | 1 | 2019 |
An Industrial Big Data Processing Engine A Bezerra, V Greati, V Ribeiro, I Silva, LA Guedes Anais do 14º Simpósio Brasileiro de Automação Inteligente 1, 108372, 2019 | 1 | 2019 |
Método para Reconhecimento Automático de Placas Brasileiras em ambientes nao controlados VR Greati, VCT Ribeiro, IM Dantas Simpósio Brasileiro de Automaçao Inteligente (SBAI 2017), 2017 | 1 | 2017 |
Deducibility in the full Lambek calculus with weakening is HAck-complete V Greati, R Ramanayake arXiv preprint arXiv:2406.15626, 2024 | | 2024 |
Axiomatizing the Logic of Ordinary Discourse V Greati, S Marcelino, U Rivieccio arXiv preprint arXiv:2405.03543, 2024 | | 2024 |
Adding an Implication to Logics of Perfect Paradefinite Algebras V Greati, S Marcelino, J Marcos, U Rivieccio arXiv preprint arXiv:2309.06764, 2023 | | 2023 |
Notes on the Logic of Perfect Paradefinite Algebras JFF Gomes, VR Greati Anais do II Workshop Brasileiro de Lógica, 41-48, 2021 | | 2021 |