Weighted Restarting Automata and Pushdown Relations.

Qichao Wang Norbert Hundeshagen Friedrich Otto

Published in: CAI (2015)

Keyphrases

finite automata
order statistics
finite state
real time
learning algorithm
model checking
cellular automata
pairwise
weighted sum
semantic relations
attribute values
data model
multi agent
website
knowledge base
feature selection
artificial intelligence
data mining
neural network