Login / Signup

Transfinite Extension of the Mu-Calculus.

Julian C. BradfieldJacques DuparcSandra Quickert
Published in: CSL (2005)
Keyphrases
  • image processing
  • artificial neural networks
  • real time
  • feature selection
  • similarity measure
  • search algorithm
  • formal language