Login / Signup

Validating and Animating Higher-Order Recursive Functions in B.

Michael LeuschelDominique CansellMichael J. Butler
Published in: Rigorous Methods for Software Construction and Analysis (2009)
Keyphrases
  • recursive functions
  • higher order
  • inductive inference
  • high order
  • natural images
  • pairwise
  • markov random field
  • low order
  • lower order
  • virtual humans
  • virtual characters
  • support vector
  • decision rules