Applications of Extended Static Checking.

K. Rustan M. Leino

Published in: SAS (2001)

Keyphrases

multiscale
computer vision
real time
neural network
artificial intelligence
image processing
three dimensional
relational databases
evolutionary algorithm