2 papers
cs.CL2021
New Arabic Medical Dataset for Diseases Classification
Jaafar Hammoud, Aleksandra Vatian, Natalia Dobrenko +3
The Arabic language suffers from a great shortage of datasets suitable for training deep learning models, and the existing ones include general non-specialized classifications. In…
cs.FL2016
Symmetry Breaking Predicates for SAT-based DFA Identification
Vladimir Ulyantsev, Ilya Zakirzyanov, Anatoly Shalyto
It was shown before that the NP-hard problem of deterministic finite automata (DFA) identification can be effectively translated to Boolean satisfiability (SAT). Modern SAT-solvers…