Results 11 to 20 of about 266,150 (211)
PRG4CNN: A Probabilistic Model Checking-Driven Robustness Guarantee Framework for CNNs [PDF]
EntropyAs an important kind of DNN (deep neural network), CNN (convolutional neural network) has made remarkable progress and been widely used in the vision and decision-making of autonomous robots.
Yang Liu, Aohui Fang
doaj +2 more sources
Probabilistic Logic Graph Attention Networks for Reasoning
The Web Conference, 2020 Knowledge base completion, which involves the prediction of missing relations between entities in a knowledge graph, has been an active area of research.
Lakkamaneni Vivek Harsha Vardhan +2 more
openalex +2 more sources
IEEE transactions on fuzzy systems, 2019 Internal organs, like lungs, are very often examined by the use of screening methods. For this purpose, we present an evaluation model based on a composition of fuzzy system combined with a neural network.
Giacomo Capizzi +4 more
openalex +3 more sources
Approximate Probabilistic Neural Networks with Gated Threshold Logic [PDF]
2018 IEEE 18th International Conference on Nanotechnology (IEEE-NANO), 2018 Probabilistic Neural Network (PNN) is a feedforward artificial neural network developed for solving classification problems. This paper proposes a hardware implementation of an approximated PNN (APNN) algorithm in which the conventional exponential ...
Olga Krestinskaya, Alex Pappachen James
openalex +3 more sources
Sparse Random Signals for Fast Convergence on Invertible Logic
IEEE Access, 2021 This paper introduces sparse random signals for fast convergence on invertible logic. Invertible logic based on a network of probabilistic nodes (spins), similar to a Boltzmann machine, can compute functions bidirectionally by reducing the network energy
Naoya Onizawa +6 more
doaj +1 more source
NeuPSL: Neural Probabilistic Soft Logic [PDF]
International Joint Conference on Artificial Intelligence, 2022 In this paper, we introduce Neural Probabilistic Soft Logic (NeuPSL), a novel neuro-symbolic (NeSy) framework that unites state-of-the-art symbolic reasoning with the low-level perception of deep neural networks.
Connor Pryor +5 more
semanticscholar +1 more source
Research on Privacy Protection in Social Network Based on Stochastic Model Checking [PDF]
Jisuanji gongcheng, 2021 The privacy settings in static privacy strategies of the existing online social networks are not flexible and hard for quantitative verification.To address the problem,this paper proposes a dynamic privacy protection framework,which models social ...
LIU Yang, GAO Shiguo
doaj +1 more source
Iraqi Journal for Computer Science and Mathematics, 2022 The Boolean Satisfiability Problem (BSAT) is one of the most important decision problems in mathematical logic and computational sciences for determining whether or not a solution to a Boolean formula.. Hopfield neural network (HNN) is one of the major
Hamza Abubakar +2 more
doaj +1 more source
Approximate Inference for Neural Probabilistic Logic Programming
International Conference on Principles of Knowledge Representation and Reasoning, 2021 DeepProbLog is a neural-symbolic framework that integrates probabilistic logic programming and neural networks. It is realized by providing an interface between the probabilistic logic and the neural networks.
Robin Manhaeve, G. Marra, L. D. Raedt
semanticscholar +1 more source
Hardware Architecture of Stochastic Computing Neural Network
Jisuanji kexue yu tansuo, 2021 Stochastic computing is a kind of logic calculation that converts binary into probabilistic coded digital pulse stream. At the cost of computing power and time delay, it has the computing advantages of low power consumption and high energy efficiency. In
CHEN Yuhao, SONG Yinjie, ZHU Yanan, GAO Yunfei, LI Hongge+
doaj +1 more source