Volume: Vol-3806 UkrPROG 2024 |
Year: 2024
Paper: « S_21_Tsaryniuk_Hlybovets_Oleckii | S_26_Pogorilyy_Slynko_Biletskyi | S_2_Palagin »
The Verification of Decision Tree Model for Coreference Resolution Using Marked Transition Systems, Petri Nets and Büchi Automata
- Maksym Slynko dblp
- Pavlo Biletskyi dblp
- Sergiy Pogorilyy dblp
361-371 PDF