Login / Signup

Facilitating Program Verification with Dependent Types.

Hongwei Xi
Published in: SEFM (2003)
Keyphrases
  • image segmentation
  • neural network
  • real world
  • artificial intelligence
  • multi agent systems
  • hidden markov models
  • mobile robot
  • medical images