Improved SAT models for NFA learning
Grammatical inference is concerned with the study of algorithms for learning automata and grammars from words. We focus on learning Nondeterministic Finite Automaton of size k from samples of words. To this end, we formulate the problem as a SAT model. The generated SAT instances being enormous, we propose some model improvements, both in terms of the number of variables, the number of clauses, and clauses size. These improvements significantly reduce the instances, but at the cost of longer generation time. We thus try to balance instance size vs. generation and solving time. We also achieved some experimental comparisons and we analyzed our various model improvements.
Code (0)
등록된 구현이 없습니다.
Similar Papers 제목 키워드 기반
Results of improved fractional/integer order PDE-based binarization model
In this report, we present and compare the results of an improved fractional and integer order partial differential equation (PDE)-based binarization scheme. The improved model incorporates a diffusion term in addition t…
BinarizationEdge DetectionAn Improved Dung Beetle Optimizer for Random Forest Optimization
To improve the convergence speed and optimization accuracy of the Dung Beetle Optimizer (DBO), this paper proposes an improved algorithm based on circle mapping and longitudinal-horizontal crossover strategy (CICRDBO). F…
Binary ClassificationDiversityPositionDMSA: Dynamic Multi-scale Unsupervised Semantic Segmentation Based on Adaptive Affinity
The proposed method in this paper proposes an end-to-end unsupervised semantic segmentation architecture DMSA based on four loss functions. The framework uses Atrous Spatial Pyramid Pooling (ASPP) module to enhance featu…
Semantic SegmentationUnsupervised Semantic SegmentationA case for reframing automated medical image classification as segmentation
Image classification and segmentation are common applications of deep learning to radiology. While many tasks can be framed using either classification or segmentation, classification has historically been cheaper to lab…
An Improved Neural Segmentation Method Based on U-NET
Neural segmentation has a great impact on the smooth implementation of local anesthesia surgery. At present, the network for the segmentation includes U-NET [1] and SegNet [2]. U-NET network has short training time and l…
Segmentation