Results 71 to 80 of about 160,535 (190)
A Parallel Extension Rule-Based Algorithm for #SAT Problem Using Model-Counting Tree
IEEE Access, 2018 The #SAT problem, which is also called model counting, is one of the most important problems in artificial intelligence and is challenging to the researchers.
Naiyu Tian +4 more
doaj +1 more source
Symbolic-numeric interface: A review [PDF]
A survey of the use of a combination of symbolic and numerical calculations is presented. Symbolic calculations primarily refer to the computer processing of procedures from classical algebra, analysis, and calculus.
Ng, E. W.
core +1 more source
Overfitting Reduction of Text Classification Based on AdaBELM
Entropy, 2017 Overfitting is an important problem in machine learning. Several algorithms, such as the extreme learning machine (ELM), suffer from this issue when facing high-dimensional sparse data, e.g., in text classification. One common issue is that the extent of
Xiaoyue Feng +5 more
doaj +1 more source
Deep Residual Convolutional Neural Network for Protein-Protein Interaction Extraction
IEEE Access, 2019 Knowledge extracted from the protein-protein interaction (PPI) network can help researchers reveal the molecular mechanisms of biological processes. With the rapid growth in the volume of the biomedical literature, manually detecting and annotating PPIs ...
Hao Zhang +6 more
doaj +1 more source
Solution of polynomial Lyapunov and Sylvester equations
, 2006 A two-variable polynomial approach to solve the one-variable polynomial Lyapunov and Sylvester equations is proposed. Lifting the problem from the one-variable to the two-variable context gives rise to associated lifted equations which live on finite ...
Peeters, Ralf, Rapisarda, Paolo
core
Cohabitation: Computation at 70, Cognition at 20 [PDF]
, 2009 Zenon Pylyshyn cast cognition's lot with computation, stretching the Church/Turing Thesis to its limit: We had no idea how the mind did anything, whereas we knew computation could do just about everything. Doing it with images would be like doing it with
Harnad, Stevan
core
K-Dependence Bayesian Classifier Ensemble
Entropy, 2017 To maximize the benefit that can be derived from the information implicit in big data, ensemble methods generate multiple models with sufficient diversity through randomization or perturbation.
Zhiyi Duan, Limin Wang
doaj +1 more source
International Journal of Scientific and Research Publications (IJSRP), 2020 Sarhan M. Musa +2 more
openaire +1 more source
Nuclear Physics B, 2014 We calculate the massive flavor non-singlet Wilson coefficient for the heavy flavor contributions to the structure function F2(x,Q2) in the asymptotic region Q2≫m2 and the associated operator matrix element Aqq,Q(3),NS(N) to 3-loop order in Quantum ...
J. Ablinger +8 more
doaj +1 more source
Investigations into the shape-preserving interpolants using symbolic computation [PDF]
Shape representation is a central issue in computer graphics and computer-aided geometric design. Many physical phenomena involve curves and surfaces that are monotone (in some directions) or are convex.
Lam, Maria
core +1 more source