Specification of Stochastic Properties with CSP.

Krishna M. Kavi Frederick T. Sheldon

Published in: ICPADS (1994)

Keyphrases

constraint satisfaction problems
real time
neural network
high level
database
topological properties
decomposition methods
formal language