Analysis and Verification of Pointer Programs (NII Shonan Meeting 2017-14).

Marieke Huisman Thomas Noll Makoto Tatsuta

Published in: NII Shonan Meet. Rep. (2017)

Keyphrases

statistical analysis
neural network
search algorithm
mobile robot
genetic algorithm
artificial intelligence
social networks
natural language
multiresolution
medical images
quantitative analysis
formal methods