Buchumschlag

Formal verification of the properties of coreferent resolution model based on decision trees

The paper examines the problem of coreference resolution, which involves identifying objects - words or phrases in a text, that refer to the same real or imaginary entity. The solution of this task is explored for Ukrainianlanguage texts using decision trees, which autonomously structure themselves...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Datum:	2024
Hauptverfasser:	Pogorilyy, S.D., Slynko, M. S., Biletskyi, P.V.
Format:	Artikel
Sprache:	Ukrainisch
Veröffentlicht:	PROBLEMS IN PROGRAMMING 2024
Schlagworte:	artificial intelligence natural language processing coreference resolution decision trees transition systems Buchi automata UDC 004.8
Online Zugang:	https://pp.isofts.kiev.ua/index.php/ojs1/article/view/652
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!
Назва журналу:	Problems in programming
Завантажити файл:

Institution

Problems in programming

Ähnliche Einträge

Coreference resolution algorithm for Ukrainian-language texts using decision trees
von: Pogorilyy, S.D., et al.
Veröffentlicht: (2023)

Algebras of generalized tree languages with fixed variables
von: Phuapong, S., et al.
Veröffentlicht: (2024)

Formalization for sign units creation based on 3d human model for Ukrainian sign language
von: Krivonos, Yu.G., et al.
Veröffentlicht: (2015)

The definition of formal languages in the meta language of normal forms of knowledge
von: Kurgaev, A.F., et al.
Veröffentlicht: (2018)

Knowledge bases and description logics applications to natural language texts analysis
von: Hoherchak, H.I.
Veröffentlicht: (2020)

On the finite state automorphism group of a rooted tree
von: Lavrenyuk, Yaroslav
Veröffentlicht: (2018)

Modern AI methods for detecting propaganda in text
von: Бойко , О.А.
Veröffentlicht: (2025)

Software framework for satellite spatial resolution enhancement
von: Stankevich, S.A., et al.
Veröffentlicht: (2024)

Problem of data analysis and forecasting using decision trees method
von: Lytvynenko, T.I.
Veröffentlicht: (2018)

A modern approach to calculating the abilities and capabilities of military units to perform tasks using artificial intelligence
von: Бойченко, А. В., et al.
Veröffentlicht: (2025)

An evaluation of task performance capabilities in a network-centric system with neural networks usage
von: Бойченко, А. В., et al.
Veröffentlicht: (2025)

Transition systems as method of designing applications in GPGPU technology
von: Kryvyi, S.L., et al.
Veröffentlicht: (2018)

Dynamics of finite groups acting on the boundary of homogenous rooted tree
von: Szaszkowski, Zbigniew
Veröffentlicht: (2018)

Graph Model of Information-Psychological Warfare
von: Качинський, А. Б., et al.
Veröffentlicht: (2025)

HIGH-PRECISION MICROWAVE SPECTROMETER WITH SUB-DOPPLER SPECTRAL RESOLUTION
von: Alekseev, E. A., et al.
Veröffentlicht: (2015)

Formal verification of deep neural networks
von: Panchuk, B.O.
Veröffentlicht: (2024)

ОНЛАЙН-ЕНЦИКЛОПЕДИСТИКА І ГЕНЕРАТИВНИЙ ШТУЧНИЙ ІНТЕЛЕКТ: ВИКЛИКИ ТА ПЕРСПЕКТИВИ (НА ПРИКЛАДІ ЕНЦИКЛОПЕДІЇ СУЧАСНОЇ УКРАЇНИ)
von: ZHELEZNIAK, M., et al.
Veröffentlicht: (2025)

Binary Trees Approach to Speedup Address Range Lookup in Peer-to-Peer Solutions
von: Poryev, G. V.
Veröffentlicht: (2013)

Transmission line planning using global best artificial bee colony method
von: Desai, J. P.
Veröffentlicht: (2023)

Probable use of regional situational centers of the intellectual system «Сontrol_TEE» using UAVs
von: Pisarenko, J.V., et al.
Veröffentlicht: (2023)

Complex systems in geophysics: methods of research and prediction of their behavior
von: Mykulyak, Serhiy
Veröffentlicht: (2025)

Management of innovative projects and products in the conditions of digitalization and turbulent environment
von: Bushueva, Natalia, et al.
Veröffentlicht: (2025)

System for Coreference Analysis of Natural Language Texts
von: O. O. Marchenko
Veröffentlicht: (2015)

Cognitive and functional potential of linguistic terms-coreferents
von: Ye. A. Karpilovska
Veröffentlicht: (2017)

Solving contest problems via formal program verification
von: Shilov, N.V., et al.
Veröffentlicht: (2010)

Survey on modern tools and methods of formal models verification
von: Kolchin, A.V., et al.
Veröffentlicht: (2015)

Solving contest problems via formal program verification
von: Shilov, N.V., et al.
Veröffentlicht: (2026)

Rapid vs. Qualitative Development
von: Panchenko, T.V.
Veröffentlicht: (2025)

Software architectural design for the interactive learning of sign language
von: Kryvonos, Yu.G., et al.
Veröffentlicht: (2025)

A Parallel Genetic Algorithm to Solve Scheduling the University Class Problem
von: Glybovets, M.M., et al.
Veröffentlicht: (2017)

Specialized search engine system of scientific materials in Ukrainian language with social aspects
von: Glybovets, A.M.
Veröffentlicht: (2025)

Using multicore processors for 3d animation of the sign language
von: Kryvonos, Y.G., et al.
Veröffentlicht: (2026)

Method of Neuro-Fuzzy Network Synthesis Based on Decision Trees
von: Гофман, Є. О., et al.
Veröffentlicht: (2012)

Influence of precipitations on angular coordinates resolution for a radar
von: Putyatin, V. G., et al.
Veröffentlicht: (2017)

A method for sorting of spanning trees
von: Каденко, С. В.
Veröffentlicht: (2026)

On the need to use modern capabilities in situational management to protect the state's critical infrastructure
von: Гречанінов , В.Ф.
Veröffentlicht: (2025)

Peculiarities of Computer Modeling of Thought Dissemination in Society on the Example of Student Society
von: Shevchenko, V.V., et al.
Veröffentlicht: (2022)

The modification of the meta-language of normal forms of knowledge
von: Kurgaev, A.F.
Veröffentlicht: (2019)

Use of metods of algebraic programming for the formal verification of legal acts
von: V. Peschanenko, et al.
Veröffentlicht: (2018)

Use of metods of algebraic programming for the formal verification of legal acts
von: Peschanenko, V., et al.
Veröffentlicht: (2018)