Login / Signup
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