The Logic of Propagation in the Inscape Environment.

Published in: Symposium on Testing, Analysis, and Verification (1989)

Keyphrases

data sets
neural network
indoor environments
complex environments
computational properties
information retrieval
search engine
case study
image sequences
modal logic
computing environments
autonomous robots