Sentiment Analysis of Animated Film Reviews Using Intelligent Machine Learning. [PDF]
Comput Intell Neurosci, 2022 Chen C, Xu B, Yang JH, Liu M.
europepmc +1 more source
A database of refractive indices and dielectric constants auto-generated using ChemDataExtractor. [PDF]
Sci Data, 2022 Zhao J, Cole JM.
europepmc +1 more source
Recent Advances in Intelligent Source Code Generation: A Survey on Natural Language Based Studies. [PDF]
Entropy (Basel), 2021 Yang C, Liu Y, Yin C.
europepmc +1 more source
Intrinsic Verification of Parsers and Formal Grammar Theory in Dependent Lambek Calculus (Extended Version) [PDF]
arXivWe present Dependent Lambek Calculus, a domain-specific dependent type theory for verified parsing and formal grammar theory. In $\textrm{Lambek}^D$, linear types are used as a syntax for formal grammars,and parsers can be written as linear terms. The linear typing restriction provides a form of intrinsic verification that a parser yields only valid ...
arxiv
Facts in counterfactuals-cognitive representations of Chinese counterfactuals. [PDF]
Sci Rep, 2023 Ren Y, Cui G, Christie S.
europepmc +1 more source
A Formal Validation Approach for XACML 3.0 Access Control Policy. [PDF]
Sensors (Basel), 2022 Caserio C, Lonetti F, Marchetti E.
europepmc +1 more source
Corpus-based typology: applications, challenges and some solutions. [PDF]
Linguist Typol, 2022 Levshina N.
europepmc +1 more source
Grammar-constrained decoding for structured information extraction with fine-tuned generative models applied to clinical trial abstracts. [PDF]
Front Artif IntellSchmidt DM, Cimiano P.
europepmc +1 more source