Expectations for associative-commutative unification speedups in a multicomputer environment.

Ralph W. Wilkerson Bruce M. McMillin

Published in: COMPSAC (1989)

Keyphrases

orders of magnitude
mobile robot
real time
website
image processing
dynamic environments
theorem proving
special case
hidden markov models
test bed
programming environment