Stochastic functions using sequential logic.

Naman Saraf Kia Bazargan David J. Lilja Marc D. Riedel

Published in: ICCD (2013)

Keyphrases

modal logic
monte carlo
predicate logic
proof theory
database
neural network
expert systems
data model
query language
logic programming
multi valued
stochastic processes
learning automata
stochastic optimization
digital circuits
linear logic