• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

Agda Meets Accelerate.

Peter ThiemannManuel M. T. Chakravarty
Published in: IFL (2012)
Keyphrases
  • three dimensional
  • general purpose
  • bayesian networks
  • viewpoint
  • sensor networks
  • augmented reality