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