Login / Signup

Bisimilarity of Open Terms in Stream GSOS.

Filippo BonchiMatias David LeeJurriaan Rot
Published in: FSEN (2017)
Keyphrases
  • search algorithm
  • real time
  • data sets
  • neural network
  • decision trees
  • optimal solution
  • artificial neural networks
  • stream processing