Login / Signup

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

Manfred DrosteIngmar 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