Circular Compositional Reasoning about Liveness.

Kenneth L. McMillan

Published in: CHARME (1999)

Keyphrases

hough transform
spatial reasoning
harmonic functions
databases
formal theory
data sets
neural network
information retrieval
real time
artificial intelligence
database systems
similarity measure
multi agent
computational complexity
relational databases