Describing Average- and Longtime-Behavior by Weighted MSO Logics.

Manfred Droste Ingmar Meinecke

Published in: MFCS (2010)

Keyphrases

standard deviation
human behavior
real time
neural network
objective function
data sets
special case
language model
expressive power
proof theory