Path Calculus in Program Verification.

Published in: J. ACM (1978)

Keyphrases

shortest path
optimal path
real world
machine learning
information retrieval
neural network
video sequences
query processing
model checking
multiple paths