Sign in

On model construction for modal mu-calculus.

Nan Qu
Published in: TASE (2012)
Keyphrases
  • model construction
  • influence diagrams
  • modal logic
  • pose estimation
  • computer vision
  • video sequences
  • viewpoint
  • special case
  • decision problems