Sciweavers

2278 search results - page 79 / 456
» Markov logic networks
Sort
View
NIPS
2003
13 years 11 months ago
Reasoning about Time and Knowledge in Neural Symbolic Learning Systems
We show that temporal logic and combinations of temporal logics and modal logics of knowledge can be effectively represented in artificial neural networks. We present a Translat...
Artur S. d'Avila Garcez, Luís C. Lamb
IJCNN
2000
IEEE
14 years 2 months ago
Probabilistic Neural Network Models for Sequential Data
It has already been shown how Artificial Neural Networks (ANNs) can be incorporated into probabilistic models. In this paper we review some of the approaches which have been prop...
Yoshua Bengio
IJCNN
2000
IEEE
14 years 2 months ago
On MCMC Sampling in Bayesian MLP Neural Networks
Bayesian MLP neural networks are a flexible tool in complex nonlinear problems. The approach is complicated by need to evaluate integrals over high-dimensional probability distri...
Aki Vehtari, Simo Särkkä, Jouko Lampinen
ICASSP
2011
IEEE
13 years 1 months ago
Arccosine kernels: Acoustic modeling with infinite neural networks
Neural networks are a useful alternative to Gaussian mixture models for acoustic modeling; however, training multilayer networks involves a difficult, nonconvex optimization that...
Chih-Chieh Cheng, Brian Kingsbury
ACSAC
2007
IEEE
14 years 4 months ago
Automated Vulnerability Analysis: Leveraging Control Flow for Evolutionary Input Crafting
We present an extension of traditional "black box" fuzz testing using a genetic algorithm based upon a Dynamic Markov Model fitness heuristic. This heuristic allows us t...
Sherri Sparks, Shawn Embleton, Ryan Cunningham, Cl...